Searched refs:msr_true_ctls (Results 1 – 1 of 1) sorted by relevance
3256 vmx_check_ctls(uint64_t msr_ctls, uint64_t msr_true_ctls, uint64_t set_one) in vmx_check_ctls() argument3267 true_val = rdmsr(msr_true_ctls); in vmx_check_ctls()3285 vmx_init_ctls(uint64_t msr_ctls, uint64_t msr_true_ctls, in vmx_init_ctls() argument3297 true_val = rdmsr(msr_true_ctls); in vmx_init_ctls()