Searched refs:mask_legacy_irqs (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dapic.c47 apic_init(bool_t mask_legacy_irqs) argument
94 mask_legacy_irqs, /* masked */
H A Dboot.c501 bool_t mask_legacy_irqs
563 if (!apic_init(mask_legacy_irqs)) {
/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);
H A Dboot.h50 bool_t mask_legacy_irqs

Completed in 93 milliseconds