Searched refs:init_cpu (Results 1 - 6 of 6) sorted by relevance

/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/
H A Dboot.h49 bool_t init_cpu(
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dsmp_sys.c116 if (!init_cpu(1)) {
H A Dboot.c505 init_cpu( function
H A Dboot_sys.c225 if (!init_cpu(config_set(CONFIG_IRQ_IOAPIC) ? 1 : 0)) {
/seL4-mcs-10.1.1/src/arch/arm/kernel/
H A Dboot.c223 init_cpu(void) function
314 init_cpu();
401 if (!init_cpu()) {
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dboot.c205 init_cpu(void) function
271 init_cpu();

Completed in 36 milliseconds