Searched refs:vmcs_enc (Results 1 – 1 of 1) sorted by relevance
3306 const uint32_t vmcs_enc = vmcs_msr_encoding(msr); in vmx_msr_get() local3307 if (vmcs_enc != VMCS_INVALID_ENCODING) { in vmx_msr_get()3310 *valp = vmcs_read(vmcs_enc); in vmx_msr_get()3334 const uint32_t vmcs_enc = vmcs_msr_encoding(msr); in vmx_msr_set() local3335 if (vmcs_enc != VMCS_INVALID_ENCODING) { in vmx_msr_set()3338 vmcs_write(vmcs_enc, val); in vmx_msr_set()