Home
last modified time | relevance | path

Searched refs:send_single_ipi (Results 1 – 5 of 5) sorted by relevance

/hypervisor/include/arch/x86/asm/
A Dlapic.h113 void send_single_ipi(uint16_t pcpu_id, uint32_t vector);
/hypervisor/arch/x86/
A Dlapic.c251 send_single_ipi(pcpu_id, vector); in send_dest_ipi_mask()
256 void send_single_ipi(uint16_t pcpu_id, uint32_t vector) in send_single_ipi() function
302 send_single_ipi(pcpu_id, NOTIFY_VCPU_VECTOR); in kick_pcpu()
A Dnotify.c69 send_single_ipi(pcpu_id, NOTIFY_VCPU_VECTOR); in smp_call_function()
/hypervisor/arch/x86/guest/
A Doptee.c96 send_single_ipi(pcpuid_from_vcpu(ree_vcpu), in tee_switch_to_ree()
A Dvlapic.c553 send_single_ipi(dest_pcpu_id, anv); in apicv_trigger_pi_anv()

Completed in 9 milliseconds