739 	static char ofmt[32] = "%";  in printval()  local
743 	cp = ofmt + 1;  in printval()
755 		(void)asprintf(&str, ofmt, *(char *)bp);  in printval()
758 		(void)asprintf(&str, ofmt, *(signed char *)bp);  in printval()
761 		(void)asprintf(&str, ofmt, *(u_char *)bp);  in printval()
764 		(void)asprintf(&str, ofmt, *(short *)bp);  in printval()
767 		(void)asprintf(&str, ofmt, *(u_short *)bp);  in printval()
770 		(void)asprintf(&str, ofmt, *(int *)bp);  in printval()
773 		(void)asprintf(&str, ofmt, CHKINF127(*(u_int *)bp));  in printval()
776 		(void)asprintf(&str, ofmt, *(long *)bp);  in printval()
779 		(void)asprintf(&str, ofmt, *(u_long *)bp);  in printval()
782 		(void)asprintf(&str, ofmt, *(u_long *)bp);  in printval()
785 		(void)asprintf(&str, ofmt, ps_pgtok(*(u_long *)bp));  in printval()