Searched refs:mem_lower (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/
H A Dsmp_sys.h18 BOOT_CODE bool_t copy_boot_code_aps(uint32_t mem_lower);
H A Dboot_sys.h26 uint32_t mem_lower; /* lower memory size for boot code of APs to run in real mode */ member in struct:boot_state
H A Dmultiboot.h34 uint32_t mem_lower; member in struct:multiboot_info::multiboot_part1
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c71 BOOT_CODE bool_t copy_boot_code_aps(uint32_t mem_lower) argument
80 word_t mem_lower_bytes = mem_lower << 10;
H A Dboot_sys.c390 if (!copy_boot_code_aps(boot_state.mem_lower)) {
600 boot_state.mem_lower = mbi->part1.mem_lower;
671 boot_state.mem_lower = m->size;

Completed in 38 milliseconds