1 2 3 4 5 6 7
#include <stdint.h> #include <syscall.h> void *malloc(u32 size) { return (void *)syscall_malloc(size); }
