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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dapic.h21 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id);
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dx2apic.c67 apic_send_init_ipi(cpu_id_t cpu_id) function
H A Dsmp_sys.c49 apic_send_init_ipi(cpu_id);
H A Dxapic.c72 apic_send_init_ipi(cpu_id_t cpu_id) function

Completed in 50 milliseconds