Searched refs:vmcs_msr_encoding (Results 1 – 3 of 3) sorted by relevance
169 vmcs_msr_encoding(uint32_t msr) in vmcs_msr_encoding() function
61 uint32_t vmcs_msr_encoding(uint32_t msr);
3299 const uint32_t vmcs_enc = vmcs_msr_encoding(msr); in vmx_msr_get()3327 const uint32_t vmcs_enc = vmcs_msr_encoding(msr); in vmx_msr_set()