GUEST_IDTR_LIMIT 1696 arch/x86/kvm/vmx.c 	dt->limit = vmcs_read32(GUEST_IDTR_LIMIT);
GUEST_IDTR_LIMIT 1702 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_IDTR_LIMIT, dt->limit);
GUEST_IDTR_LIMIT 2087 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_IDTR_LIMIT, 0xffff);