POSTED_INTR_WAKEUP_VECTOR
SYSVEC(POSTED_INTR_WAKEUP_VECTOR, kvm_posted_intr_wakeup_ipi),
DECLARE_IDTENTRY_SYSVEC(POSTED_INTR_WAKEUP_VECTOR, sysvec_kvm_posted_intr_wakeup_ipi);
INTG(POSTED_INTR_WAKEUP_VECTOR, asm_sysvec_kvm_posted_intr_wakeup_ipi),
new.nv = POSTED_INTR_WAKEUP_VECTOR;
__apic_send_IPI_self(POSTED_INTR_WAKEUP_VECTOR);
if (pi_desc->nv != POSTED_INTR_WAKEUP_VECTOR && vcpu->cpu == cpu) {
if (pi_desc->nv == POSTED_INTR_WAKEUP_VECTOR) {