VMCS_INVALID_ENCODING
return (VMCS_INVALID_ENCODING);
*acc = VMCS_INVALID_ENCODING;
*acc = VMCS_INVALID_ENCODING;
return (VMCS_INVALID_ENCODING);
case VMCS_INVALID_ENCODING:
case VMCS_INVALID_ENCODING:
if (access != VMCS_INVALID_ENCODING) {
if (access != VMCS_INVALID_ENCODING) {
if (vmcs_enc != VMCS_INVALID_ENCODING) {
if (vmcs_enc != VMCS_INVALID_ENCODING) {