Searched refs:multiboot_end_addr (Results 1 - 8 of 8) sorted by relevance

/barrelfish-2018-10-04/kernel/include/
H A Dkernel_multiboot.h29 uintptr_t multiboot_end_addr(struct multiboot_info *mi);
/barrelfish-2018-10-04/kernel/arch/arm/
H A Dmultiboot.c69 uintptr_t multiboot_end_addr(struct multiboot_info *mi) function
/barrelfish-2018-10-04/kernel/arch/x86/
H A Dmultiboot.c66 uintptr_t multiboot_end_addr(struct multiboot_info *mi) function
/barrelfish-2018-10-04/tools/elver/
H A Delver.c165 static uintptr_t multiboot_end_addr(void) function
269 phys_alloc_start = ROUND_UP(multiboot_end_addr(), BASE_PAGE_SIZE) +
/barrelfish-2018-10-04/kernel/arch/k1om/
H A Dinit.c670 ROUND_UP(max(multiboot_end_addr(mb), (uintptr_t)&_end_kernel),
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dinit.c666 ROUND_UP(max(multiboot_end_addr(mb), (uintptr_t)&_end_kernel),
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dinit.c639 ROUND_UP(max(multiboot_end_addr(mb), (uintptr_t)&_end_kernel),
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dstartup_arch.c662 size_t max_addr = max(multiboot_end_addr(mb),

Completed in 100 milliseconds