57 static const char *config_name(struct vcpu_reg_list *c)  in config_name()  function
155 			       config_name(c), s->name);  in check_supported()
185 				print_reg(config_name(c), id);  in run_test()
225 			printf("%s: Failed to get ", config_name(c));  in run_test()
226 			print_reg(config_name(c), reg.id);  in run_test()
237 					printf("%s: Failed to reject (ret=%d, errno=%d) ", config_name(c), ret, errno);  in run_test()
238 					print_reg(config_name(c), reg.id);  in run_test()
256 				printf("%s: Failed to set ", config_name(c));  in run_test()
257 				print_reg(config_name(c), reg.id);  in run_test()
275 		printf("%s: Number blessed registers: %5lld\n", config_name(c), blessed_n);  in run_test()
277 		       config_name(c), reg_list->n, reg_list->n - n);  in run_test()
283 		       "list with the following lines:\n\n", config_name(c), new_regs);  in run_test()
285 			print_reg(config_name(c), reg_list->reg[i]);  in run_test()
291 		       "The following lines are missing registers:\n\n", config_name(c), missing_regs);  in run_test()
293 			print_reg(config_name(c), blessed_reg[i]);  in run_test()
300 		    config_name(c), missing_regs, failed_get, failed_set, failed_reject, skipped_set);  in run_test()
302 	pr_info("%s: PASS\n", config_name(c));  in run_test()
323 	"                               '%s'\n", config_name(c));  in help()
344 		if (strcmp(config_name(c), &config[9]) == 0)  in parse_config()