IPI_VECTOR
ipi->vector = IPI_VECTOR;
IPI_VECTOR, 1 << RECEIVER_VCPU_ID_1);
ipi_ex->vector = IPI_VECTOR;
IPI_VECTOR, HV_GENERIC_SET_SPARSE_4K);
ipi_ex->vector = IPI_VECTOR;
IPI_VECTOR, HV_GENERIC_SET_SPARSE_4K);
ipi_ex->vector = IPI_VECTOR;
IPI_VECTOR, HV_GENERIC_SET_SPARSE_4K);
ipi_ex->vector = IPI_VECTOR;
IPI_VECTOR, HV_GENERIC_SET_ALL);
vm_install_exception_handler(vm, IPI_VECTOR, guest_ipi_handler);
icr_val = (APIC_DEST_PHYSICAL | APIC_DM_FIXED | IPI_VECTOR);
vm_install_exception_handler(vm, IPI_VECTOR, guest_ipi_handler);