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