#ifndef __GILBRALTAR_MEMORY__ #define __GILBRALTAR_MEMORY__ void gilbraltar_memory_init(void); void gilbraltar_get_heap(uintptr_t *, uintptr_t *); #endif