Symbol: VMCS_INVALID_ENCODING