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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dapic.h24 BOOT_CODE bool_t apic_init(bool_t mask_legacy_irqs);
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dapic.c47 apic_init(bool_t mask_legacy_irqs) function
H A Dboot.c563 if (!apic_init(mask_legacy_irqs)) {

Completed in 70 milliseconds