195 uart_putdec(uint64_t num)  in uart_putdec()  argument
199 		char c = (char) (num / pos);  in uart_putdec()
202 			num -= c * pos;  in uart_putdec()
211 uart_puthex(uint64_t num)  in uart_puthex()  argument
218 		c = 0xf & (num >> bit);  in uart_puthex()
926 ksprintn(char *nbuf, uintmax_t num, int base, int *lenp, int upper)  in ksprintn()  argument
932 	uint32_t num2 = (uint32_t) num;  in ksprintn()
934 	uintmax_t num2 = num;  in ksprintn()
984 	uintmax_t num;  in hibkvprintf()  local
991 	num = 0;  in hibkvprintf()
1067 			num = (u_int)va_arg(ap, int);  in hibkvprintf()
1069 			for (q = ksprintn(nbuf, num, *p++, NULL, 0); *q;) {  in hibkvprintf()
1073 			if (num == 0) {  in hibkvprintf()
1079 				if (num & (1 << (n - 1))) {  in hibkvprintf()
1163 			num = (uintptr_t)va_arg(ap, void *);  in hibkvprintf()
1224 				num = va_arg(ap, uintmax_t);  in hibkvprintf()
1226 				num = va_arg(ap, u_quad_t);  in hibkvprintf()
1228 				num = va_arg(ap, ptrdiff_t);  in hibkvprintf()
1230 				num = va_arg(ap, u_long);  in hibkvprintf()
1232 				num = va_arg(ap, size_t);  in hibkvprintf()
1234 				num = (u_short)va_arg(ap, int);  in hibkvprintf()
1236 				num = (u_char)va_arg(ap, int);  in hibkvprintf()
1238 				num = va_arg(ap, u_int);  in hibkvprintf()
1243 				num = va_arg(ap, intmax_t);  in hibkvprintf()
1245 				num = va_arg(ap, quad_t);  in hibkvprintf()
1247 				num = va_arg(ap, ptrdiff_t);  in hibkvprintf()
1249 				num = va_arg(ap, long);  in hibkvprintf()
1251 				num = va_arg(ap, ssize_t);  in hibkvprintf()
1253 				num = (short)va_arg(ap, int);  in hibkvprintf()
1255 				num = (char)va_arg(ap, int);  in hibkvprintf()
1257 				num = va_arg(ap, int);  in hibkvprintf()
1260 			if (sign && (intmax_t)num < 0) {  in hibkvprintf()
1262 				num = -(intmax_t)num;  in hibkvprintf()
1264 			p = ksprintn(nbuf, num, base, &tmp, upper);  in hibkvprintf()
1265 			if (sharpflag && num != 0) {  in hibkvprintf()
1285 			if (sharpflag && num != 0) {  in hibkvprintf()