Searched defs:vmcs_enc (Results 1 – 1 of 1) sorted by relevance
3306 const uint32_t vmcs_enc = vmcs_msr_encoding(msr); in vmx_msr_get() local3334 const uint32_t vmcs_enc = vmcs_msr_encoding(msr); in vmx_msr_set() local