vm_inject_nmi
error = vm_inject_nmi(vcpu);
int vm_inject_nmi(struct vcpu *vcpu);
(void) vm_inject_nmi(vlapic->vm, i);
(void) vm_inject_nmi(vlapic->vm, vlapic->vcpuid);
(void) vm_inject_nmi(vlapic->vm,
int vm_inject_nmi(struct vm *vm, int vcpu);
error = vm_inject_nmi(sc->vmm_vm, vmnmi.cpuid);