Home
last modified time | relevance | path

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

/seL4-master/include/arch/x86/arch/kernel/
A Dapic.h16 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id);
/seL4-master/src/arch/x86/kernel/
A Dx2apic.c58 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id) in apic_send_init_ipi() function
A Dxapic.c64 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id) in apic_send_init_ipi() function
A Dsmp_sys.c41 apic_send_init_ipi(cpu_id); in start_cpu()

Completed in 4 milliseconds