VMCB_NPT
if (unlikely(new_vmcb12 || vmcb12_is_dirty(control, VMCB_NPT)))
vmcb_mark_dirty(svm->vmcb, VMCB_NPT);
vmcb_mark_dirty(vmcb, VMCB_NPT);
(1U << VMCB_NPT) | (1U << VMCB_CR) | (1U << VMCB_DR) | \