kstat_prtout
kstat_prtout(kstat_line, value, count);
static void kstat_prtout(char *, uint64_t *, int);