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))
1560 val = __vmcs_readl(field.encoding);
1561 vmcs12_write_any(vmcs12, field.encoding, field.offset, val);
1594 val = vmcs12_read_any(vmcs12, field.encoding,
1596 __vmcs_writel(field.encoding, val);
6773 * Indexing into the vmcs12 uses the VMCS encoding rotated left by 6. Undo
6774 * that madness to get the encoding for comparison.
6781 * Note these are the so called "index" of the VMCS field encoding, not