3 #ifndef __COMMONLIB_STDLIB_H__
4 #define __COMMONLIB_STDLIB_H__
10 #if CONFIG(COREBOOT_BUILD)
13 #define HALT(x) halt()
16 #define printk(level, ...) printf(__VA_ARGS__)
17 #define HALT(x) abort()
21 const char *func,
int line)
26 file, func, line, size);
32 #define xmalloc(size) xmalloc_work((size), __FILE__, __func__, __LINE__)
35 const char *func,
int line)
41 #define xzalloc(size) xzalloc_work((size), __FILE__, __func__, __LINE__)
void * memset(void *dstpp, int c, size_t len)
void * dma_malloc(size_t size)
#define printk(level,...)
int dma_coherent(void *ptr)
static void * xmalloc_work(size_t size, const char *file, const char *func, int line)
static void * xzalloc_work(size_t size, const char *file, const char *func, int line)
void * malloc(size_t size)
#define BIOS_ERR
BIOS_ERR - System in incomplete state.