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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dapic.h22 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr);
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dx2apic.c98 apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) function
H A Dsmp_sys.c50 apic_send_startup_ipi(cpu_id, boot_fun_paddr);
H A Dxapic.c105 apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) function

Completed in 40 milliseconds