INTR_TYPE_SOFT_INTR
case INTR_TYPE_SOFT_INTR:
idt_vectoring |= INTR_TYPE_SOFT_INTR;
intr |= INTR_TYPE_SOFT_INTR;
case INTR_TYPE_SOFT_INTR:
type == INTR_TYPE_SOFT_INTR ? idt_index : -1,
case INTR_TYPE_SOFT_INTR:
kvm_queue_interrupt(vcpu, vector, type == INTR_TYPE_SOFT_INTR);