#include <stdint.h> #include <stddef.h> void *cbmem_find(u32 id) { return NULL; }