vmx_rdtscp_supported 4046 arch/x86/kvm/vmx/vmx.c 	if (vmx_rdtscp_supported()) {
vmx_rdtscp_supported 7880 arch/x86/kvm/vmx/vmx.c 	.rdtscp_supported = vmx_rdtscp_supported,