Symbol: process_rhl
usr/src/cmd/tsol/tnctl/tnctl.c
50
static void process_rhl(const char *);
usr/src/cmd/tsol/tnctl/tnctl.c
92
process_rhl(optarg);