Lines Matching defs:encoding
52 u16 encoding;
78 u16 field = entry.encoding;
82 shadow_read_only_fields[i + 1].encoding != field + 1))
99 u16 field = entry.encoding;
103 shadow_read_write_fields[i + 1].encoding != field + 1))
1535 val = __vmcs_readl(field.encoding);
1536 vmcs12_write_any(vmcs12, field.encoding, field.offset, val);
1569 val = vmcs12_read_any(vmcs12, field.encoding,
1571 __vmcs_writel(field.encoding, val);
6731 * Indexing into the vmcs12 uses the VMCS encoding rotated left by 6. Undo
6732 * that madness to get the encoding for comparison.
6739 * Note these are the so called "index" of the VMCS field encoding, not