Searched refs:vmcs_msr_encoding (Results 1 – 3 of 3) sorted by relevance
166 vmcs_msr_encoding(uint32_t msr) in vmcs_msr_encoding() function
49 uint32_t vmcs_msr_encoding(uint32_t msr);
3306 const uint32_t vmcs_enc = vmcs_msr_encoding(msr); in vmx_msr_get()3334 const uint32_t vmcs_enc = vmcs_msr_encoding(msr); in vmx_msr_set()