Searched refs:VMCB_NPT (Results 1 – 2 of 2) sorted by relevance
55 VMCB_NPT, /* npt_en, nCR3, gPAT */ enumerator72 (1U << VMCB_NPT) | (1U << VMCB_CR) | (1U << VMCB_DR) | \
3043 vmcb_mark_dirty(svm->vmcb, VMCB_NPT); in svm_set_msr()4283 vmcb_mark_dirty(svm->vmcb, VMCB_NPT); in svm_load_mmu_pgd()