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