arm32_bootmem_init
arm32_bootmem_init(memory_start, memory_size, KERNEL_BASE_PHYS);
void arm32_bootmem_init(paddr_t memstart, psize_t memsize, paddr_t kernelstart);
arm32_bootmem_init(ebsabootinfo.bt_memstart, ram_size,
arm32_bootmem_init(0, physical_end, (uintptr_t) KERNEL_BASE_phys);
arm32_bootmem_init(KERN_VTOPHYS(KERNEL_BASE), memsize,
arm32_bootmem_init(bootconfig.dram[0].address, ram_size,
arm32_bootmem_init(bootconfig.dram[0].address,
arm32_bootmem_init(bootconfig.dram[0].address, ram_size,
arm32_bootmem_init(0, segment_end, (uintptr_t) KERNEL_BASE_phys);
arm32_bootmem_init(bootconfig.dram[0].address, ram_size,