#ifndef early_kalloc_h #define early_kalloc_h #include <stdint.h> uint64_t early_kalloc(int size); #endif