GUEST_GDTR_LIMIT 1708 arch/x86/kvm/vmx.c 	dt->limit = vmcs_read32(GUEST_GDTR_LIMIT);
GUEST_GDTR_LIMIT 1714 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_GDTR_LIMIT, dt->limit);
GUEST_GDTR_LIMIT 2084 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_GDTR_LIMIT, 0xffff);