3665 				     const char *field_name,  in test_vmcs_addr_reference()  argument
3692 	test_vmcs_addr_values(field_name, field, align, false,  in test_vmcs_addr_reference()
3704 	test_vmcs_addr_values(field_name, field, align, true, false, 0, 63);  in test_vmcs_addr_reference()
5429 			     const char * field_name)  in test_guest_state()  argument
5444 	        "%s, %s = %lx", test, field_name, field);  in test_guest_state()
7281 static void test_pat(u32 field, const char * field_name, u32 ctrl_field,  in test_pat()  argument
7299 				report_prefix_pushf("%s %lx", field_name, val);  in test_pat()
7318 				report_prefix_pushf("%s %lx", field_name, val);  in test_pat()
7561 static void test_vmcs_field(u64 field, const char *field_name, u32 bit_start,  in test_vmcs_field()  argument
7575 	report_prefix_pushf("%s %lx", field_name, tmp);  in test_vmcs_field()
7589 		report_prefix_pushf("%s %lx", field_name, tmp);  in test_vmcs_field()
7600 static void test_canonical(u64 field, const char * field_name, bool host)  in test_canonical()  argument
7611 			report_prefix_pushf("%s %lx", field_name, addr_saved);  in test_canonical()
7616 					 addr_saved, field_name);  in test_canonical()
7623 		report_prefix_pushf("%s %llx", field_name, NONCANONICAL);  in test_canonical()
7628 				 NONCANONICAL, field_name);  in test_canonical()
10899 static void test_host_value_direct(const char *field_name, u64 vmcs_field)  in test_host_value_direct()  argument
10911 			    vector, field_name, TEST_DIRECT_VALUE);  in test_host_value_direct()
10921 	       field_name, value, TEST_DIRECT_VALUE);  in test_host_value_direct()
10924 static void test_host_value_vmcs(const char *field_name, u64 vmcs_field)  in test_host_value_vmcs()  argument
10941 	       field_name, value, TEST_VMCS_VALUE);  in test_host_value_vmcs()
10944 static void do_vmx_canonical_test_one_field(const char *field_name, u64 field)  in do_vmx_canonical_test_one_field()  argument
10952 	test_host_value_direct(field_name, field);  in do_vmx_canonical_test_one_field()
10953 	test_host_value_vmcs(field_name, field);  in do_vmx_canonical_test_one_field()