Searched refs:start_boot_aps (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/
H A Dsmp_sys.h17 BOOT_CODE void start_boot_aps(void);
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c45 BOOT_CODE void start_boot_aps(void) function
H A Dboot_sys.c502 SMP_COND_STATEMENT(start_boot_aps());

Completed in 95 milliseconds