Lines Matching defs:encoding
61 vmcs_fix_regval(uint32_t encoding, uint64_t val)
64 switch (encoding) {
193 uint32_t encoding;
197 * the translation of 'ident' to 'encoding' by simply setting the
203 encoding = ident & 0x7fffffff;
205 encoding = vmcs_field_encoding(ident);
207 if (encoding == (uint32_t)-1)
213 error = vmread(encoding, retval);
225 uint32_t encoding;
228 encoding = ident & 0x7fffffff;
230 encoding = vmcs_field_encoding(ident);
232 if (encoding == (uint32_t)-1)
235 val = vmcs_fix_regval(encoding, val);
240 error = vmwrite(encoding, val);