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