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