UINTMAX_T
UINTMAX_T ul;
kprintn(void (*put)(int), UINTMAX_T ul, int base, int lflag, int width)
kprintn(void (*put)(int), UINTMAX_T ul, int base)
static void kprintn(void (*)(int), UINTMAX_T, int, int, int);
static void kprintn(void (*)(int), UINTMAX_T, int);