Searched defs:apic_send_init_ipi (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ | ||
| H A D | xapic.c | 64 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id) function |
| H A D | x2apic.c | 58 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id) function |
Completed in 26 milliseconds