Home
last modified time | relevance | path

Searched refs:dest_pcpu_id (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() argument
206 icr.value_32.hi_32 = per_cpu(lapic_id, dest_pcpu_id); in send_startup_ipi()
/hypervisor/arch/x86/guest/
A Dvlapic.c97 static void apicv_trigger_pi_anv(uint16_t dest_pcpu_id, uint32_t anv);
551 static void apicv_trigger_pi_anv(uint16_t dest_pcpu_id, uint32_t anv) in apicv_trigger_pi_anv() argument
553 send_single_ipi(dest_pcpu_id, anv); in apicv_trigger_pi_anv()

Completed in 10 milliseconds