Searched refs:copy_boot_code_aps (Results 1 - 3 of 3) 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);
/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) function
H A Dboot_sys.c390 if (!copy_boot_code_aps(boot_state.mem_lower)) {

Completed in 23 milliseconds