arch_mmu_allocate
extern void *arch_mmu_allocate(void *address, size_t size, uint8 protection,
extern void *arch_mmu_allocate(void *address, size_t size, uint8 protection,
extern void *arch_mmu_allocate(void *address, size_t size, uint8 protection,
addr_t stack = (addr_t)arch_mmu_allocate((void*)0x80000000,
addr_t stack = (addr_t)arch_mmu_allocate(NULL,
void *address = arch_mmu_allocate(*_address, size, protection,
addr_t stack = (addr_t)arch_mmu_allocate((void*)0x80000000,