Searched refs:VMCB_DT (Results 1 – 1 of 1) sorted by relevance
214 VMCB_DT, /* GDT, IDT */ enumerator1503 mark_dirty(svm->vmcb, VMCB_DT); in svm_set_idt()1520 mark_dirty(svm->vmcb, VMCB_DT); in svm_set_gdt()