Searched refs:mem_upper (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/kernel/include/arch/x86/arch/kernel/
H A Dmultiboot.h35 uint32_t mem_upper; member in struct:multiboot_info::multiboot_part1
/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c580 avail.end = ROUND_DOWN(avail.start + (mbi->part1.mem_upper << 10), PAGE_BITS);

Completed in 31 milliseconds