504 			PRINT_FIELD_0X("", *hdr, infmflg1);  in print_sthyi_machine()
508 			PRINT_FIELD_0X(", ", *hdr, infmflg2);  in print_sthyi_machine()
513 	PRINT_FIELD_0X("", *hdr, infmval1);  in print_sthyi_machine()
528 			PRINT_FIELD_0X(", ", *hdr, infmval2);  in print_sthyi_machine()
573 	PRINT_FIELD_0X("/* partition */ {", *hdr, infpflg1);  in print_sthyi_partition()
583 		PRINT_FIELD_0X(", ", *hdr, infpflg2);  in print_sthyi_partition()
585 	PRINT_FIELD_0X(", ", *hdr, infpval1);  in print_sthyi_partition()
604 		PRINT_FIELD_0X(", ", *hdr, infpval2);  in print_sthyi_partition()
663 	PRINT_FIELD_0X("{", *hdr, infyflg1);  in print_sthyi_hypervisor()
681 			PRINT_FIELD_0X(", ", *hdr, infyflg2);  in print_sthyi_hypervisor()
683 			PRINT_FIELD_0X(", ", *hdr, infyval1);  in print_sthyi_hypervisor()
685 			PRINT_FIELD_0X(", ", *hdr, infyval2);  in print_sthyi_hypervisor()
735 	PRINT_FIELD_0X("{", *hdr, infgflg1);  in print_sthyi_guest()
771 			PRINT_FIELD_0X(", ", *hdr, infgflg2);  in print_sthyi_guest()
773 			PRINT_FIELD_0X(", ", *hdr, infgval1);  in print_sthyi_guest()
775 			PRINT_FIELD_0X(", ", *hdr, infgval2);  in print_sthyi_guest()
827 	PRINT_FIELD_0X(", ", *hdr, infgpflg);  in print_sthyi_guest()
910 	PRINT_FIELD_0X("/* header */ {", *hdr, infhflg1);  in print_sthyi_buf()
943 		PRINT_FIELD_0X(", ", *hdr, infhflg2);  in print_sthyi_buf()
945 		PRINT_FIELD_0X(", ", *hdr, infhval1);  in print_sthyi_buf()
947 		PRINT_FIELD_0X(", ", *hdr, infhval2);  in print_sthyi_buf()
1105 			PRINT_FIELD_0X("", gsepl, pad1);  in guard_storage_print_gsepl()
1109 		PRINT_FIELD_0X("",   gsepl, gs_eam);  in guard_storage_print_gsepl()
1114 		PRINT_FIELD_0X(", ", gsepl, gs_eci);  in guard_storage_print_gsepl()
1120 		PRINT_FIELD_0X(", ", gsepl, gs_eai);  in guard_storage_print_gsepl()
1128 			PRINT_FIELD_0X(", ", gsepl, pad2);  in guard_storage_print_gsepl()
1160 		PRINT_FIELD_0X("", gscb, reserved);  in guard_storage_print_gscb()
1164 	PRINT_FIELD_0X("", gscb, gsd);  in guard_storage_print_gscb()
1179 	PRINT_FIELD_0X(", ", gscb, gssm);  in guard_storage_print_gscb()