PROCBASED_NMI_WINDOW_EXITING
if ((vcpu->cap.proc_ctls & PROCBASED_NMI_WINDOW_EXITING) == 0) {
vcpu->cap.proc_ctls |= PROCBASED_NMI_WINDOW_EXITING;
KASSERT((vcpu->cap.proc_ctls & PROCBASED_NMI_WINDOW_EXITING) != 0,
vcpu->cap.proc_ctls &= ~PROCBASED_NMI_WINDOW_EXITING;
PROCBASED_NMI_WINDOW_EXITING)