Home
last modified time | relevance | path

Searched refs:send_startup_ipi (Results 1 – 3 of 3) sorted by relevance

/hypervisor/include/arch/x86/asm/
A Dlapic.h97 void send_startup_ipi(uint16_t dest_pcpu_id, uint64_t cpu_startup_start_address);
/hypervisor/arch/x86/
A Dlapic.c200 send_startup_ipi(uint16_t dest_pcpu_id, uint64_t cpu_startup_start_address) in send_startup_ipi() function
A Dcpu.c369 send_startup_ipi(pcpu_id, startup_paddr); in start_pcpu()

Completed in 5 milliseconds