INT_AVEC
#define EXCCODE_INT_NUM (INT_AVEC + 1)
[INT_AVEC] = CPU_AVEC,
if (kvm_guest_has_msgint(&vcpu->arch) && (priority == INT_AVEC)) {
if (kvm_guest_has_msgint(&vcpu->arch) && (priority == INT_AVEC)) {
parent_irq = irq_create_mapping(parent, INT_AVEC);