kvm_before_interrupt
kvm_before_interrupt(vcpu, KVM_HANDLING_NMI);
kvm_before_interrupt(vcpu, KVM_HANDLING_IRQ);