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);