Searched refs:msr_val (Results 1 – 1 of 1) sorted by relevance
50 vmx_ctl_allows_one_setting(uint64_t msr_val, int bitpos) in vmx_ctl_allows_one_setting() argument53 return ((msr_val & (1UL << (bitpos + 32))) != 0); in vmx_ctl_allows_one_setting()57 vmx_ctl_allows_zero_setting(uint64_t msr_val, int bitpos) in vmx_ctl_allows_zero_setting() argument60 return ((msr_val & (1UL << bitpos)) == 0); in vmx_ctl_allows_zero_setting()