#include void init_heap(uint64_t addr, uint64_t size, uint64_t block_size) { } void* kmalloc(uint32_t size) { return (uint64_t*)0x0; } void kfree(void *addr) { }