2007-11-29 14:18:54 +00:00
|
|
|
/* -*- mode: C; c-basic-offset: 4 -*- */
|
2013-04-16 23:59:09 -04:00
|
|
|
|
|
|
|
#ident "Copyright (c) 2007-2010 Tokutek Inc. All rights reserved."
|
2007-11-29 14:18:54 +00:00
|
|
|
|
2013-04-16 23:57:53 -04:00
|
|
|
#include <toku_portability.h>
|
2013-04-16 23:57:22 -04:00
|
|
|
#include <malloc.h>
|
2013-04-16 23:57:34 -04:00
|
|
|
|
2013-04-16 23:57:34 -04:00
|
|
|
void *
|
|
|
|
os_malloc(size_t size)
|
|
|
|
{
|
|
|
|
return malloc(size);
|
2013-04-16 23:57:34 -04:00
|
|
|
}
|
|
|
|
|
2013-04-16 23:57:34 -04:00
|
|
|
void *
|
|
|
|
os_realloc(void *p, size_t size)
|
|
|
|
{
|
|
|
|
return realloc(p, size);
|
2013-04-16 23:57:34 -04:00
|
|
|
}
|
|
|
|
|
2013-04-16 23:57:34 -04:00
|
|
|
void
|
|
|
|
os_free(void* p)
|
|
|
|
{
|
|
|
|
free(p);
|
2013-04-16 23:57:34 -04:00
|
|
|
}
|