Searched refs:cap2ctrl (Results 1 – 3 of 3) sorted by relevance
137 if (!(cap2ctrl(cap, CPU_BASED2_RDTSCP) & CPU_BASED2_RDTSCP)) { in hvf_get_supported_cpuid()141 if (!(cap2ctrl(cap, CPU_BASED_TSC_OFFSET) & CPU_BASED_TSC_OFFSET)) { in hvf_get_supported_cpuid()
280 cap2ctrl(hvf_state->hvf_caps->vmx_cap_pinbased, in hvf_arch_init_vcpu()285 cap2ctrl(hvf_state->hvf_caps->vmx_cap_procbased, in hvf_arch_init_vcpu()300 cap2ctrl(hvf_state->hvf_caps->vmx_cap_procbased2, reqCap)); in hvf_arch_init_vcpu()303 cap2ctrl(hvf_state->hvf_caps->vmx_cap_entry, 0)); in hvf_arch_init_vcpu()
74 static inline uint64_t cap2ctrl(uint64_t cap, uint64_t ctrl) in cap2ctrl() function