print_u32
static void print_u32(uint32_t, char *, uint_t);
print_u32(ui->ui_numopens, buf, buflen);
print_u32(nc->ci_numopens, buf, buflen);
print_u32(nc->ci_numusers, buf, buflen);
print_u32(fi->fi_numlocks, buf, buflen);