Searched refs:rdpid_rdtscp_bits (Results 1 – 1 of 1) sorted by relevance
161 int rdpid_rdtscp_bits = ((1 << VM_CAP_RDPID) | (1 << VM_CAP_RDTSCP)); in vmx_have_msr_tsc_aux() local169 return ((vmx->cap[0].set & rdpid_rdtscp_bits) != 0); in vmx_have_msr_tsc_aux()