add_pkt_prl
(void) add_pkt_prl(dpkt, dsmp);
(void) add_pkt_prl(dpkt, dsmp);
(void) add_pkt_prl(dpkt, dsmp);
(void) add_pkt_prl(dpkt, dsmp);
void *add_pkt_prl(dhcp_pkt_t *, dhcp_smach_t *);
(void) add_pkt_prl(dpkt, dsmp);
(void) add_pkt_prl(dpkt, dsmp);
(void) add_pkt_prl(dpkt, dsmp);
(void) add_pkt_prl(dpkt, dsmp);
(void) add_pkt_prl(dpkt, dsmp);
(void) add_pkt_prl(dpkt, dsmp);