GUEST_IA32_RTIT_CTL 2081 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(GUEST_IA32_RTIT_CTL, data);
GUEST_IA32_RTIT_CTL 4250 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(GUEST_IA32_RTIT_CTL, 0);