60 vmcs_fix_regval(uint32_t encoding, uint64_t val)  in vmcs_fix_regval()  argument
63 	switch (encoding) {  in vmcs_fix_regval()
197 	uint32_t encoding;  in vmcs_getreg()  local
207 		encoding = ident & 0x7fffffff;  in vmcs_getreg()
209 		encoding = vmcs_field_encoding(ident);  in vmcs_getreg()
211 	if (encoding == (uint32_t)-1)  in vmcs_getreg()
217 	error = vmread(encoding, retval);  in vmcs_getreg()
229 	uint32_t encoding;  in vmcs_setreg()  local
232 		encoding = ident & 0x7fffffff;  in vmcs_setreg()
234 		encoding = vmcs_field_encoding(ident);  in vmcs_setreg()
236 	if (encoding == (uint32_t)-1)  in vmcs_setreg()
239 	val = vmcs_fix_regval(encoding, val);  in vmcs_setreg()
244 	error = vmwrite(encoding, val);  in vmcs_setreg()