Lines Matching defs:ident
71 vmcs_field_encoding(int ident)
73 switch (ident) {
183 vmcs_getreg(struct vmcs *vmcs, int running, int ident, uint64_t *retval)
190 * the translation of 'ident' to 'encoding' by simply setting the
195 if (ident < 0)
196 encoding = ident & 0x7fffffff;
198 encoding = vmcs_field_encoding(ident);
215 vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val)
220 if (ident < 0)
221 encoding = ident & 0x7fffffff;
223 encoding = vmcs_field_encoding(ident);