Symbol: print_tlbt
usr/src/cmd/tsol/tnd/tnd.c
101
static void print_tlbt(tnrh_tlb_t *tlbt);
usr/src/cmd/tsol/tnd/tnd.c
1191
print_tlbt(tlbt);
usr/src/cmd/tsol/tnd/tnd.c
1542
print_tlbt(tlbt);