65 vmcs_fix_regval(uint32_t encoding, uint64_t val)  in vmcs_fix_regval()  argument
68 	switch (encoding) {  in vmcs_fix_regval()
199 	uint32_t encoding;  in vmcs_getreg()  local
209 		encoding = ident & 0x7fffffff;  in vmcs_getreg()
211 		encoding = vmcs_field_encoding(ident);  in vmcs_getreg()
213 	if (encoding == (uint32_t)-1)  in vmcs_getreg()
219 	error = vmread(encoding, retval);  in vmcs_getreg()
231 	uint32_t encoding;  in vmcs_setreg()  local
234 		encoding = ident & 0x7fffffff;  in vmcs_setreg()
236 		encoding = vmcs_field_encoding(ident);  in vmcs_setreg()
238 	if (encoding == (uint32_t)-1)  in vmcs_setreg()
241 	val = vmcs_fix_regval(encoding, val);  in vmcs_setreg()
246 	error = vmwrite(encoding, val);  in vmcs_setreg()