Searched refs:VMCB_DT (Results 1 – 2 of 2) sorted by relevance
48 VMCB_DT, /* GDT, IDT */ enumerator
1617 vmcb_mark_dirty(svm->vmcb, VMCB_DT); in svm_set_idt()1634 vmcb_mark_dirty(svm->vmcb, VMCB_DT); in svm_set_gdt()