Searched refs:VMCB_NPT (Results 1 – 1 of 1) sorted by relevance
399 VMCB_NPT, /* npt_en, nCR3, gPAT */ enumerator2889 mark_dirty(svm->vmcb, VMCB_NPT); in nested_svm_set_tdp_cr3()4224 mark_dirty(svm->vmcb, VMCB_NPT); in svm_set_msr()5785 mark_dirty(svm->vmcb, VMCB_NPT); in set_tdp_cr3()
