Symbol: ipfw_nptv6_handler
sbin/ipfw/ipfw2.h
421
void ipfw_nptv6_handler(int ac, char *av[]);
sbin/ipfw/main.c
487
ipfw_nptv6_handler(ac, av);