vm_nmi_clear
vm_nmi_clear(sc->vm, vcpu);
vm_nmi_clear(vmx->vm, vcpu);
void vm_nmi_clear(struct vm *vm, int vcpuid);