send_pkt
if (!send_pkt(dsmp, dpkt, server, stop_informing)) {
(void) send_pkt(dsmp, dpkt, htonl(INADDR_BROADCAST), stop_init_reboot);
boolean_t send_pkt(dhcp_smach_t *, dhcp_pkt_t *, in_addr_t,
(void) send_pkt(dsmp, dpkt, htonl(INADDR_BROADCAST), NULL);
(void) send_pkt(dsmp, dpkt, serverip, NULL);
return (send_pkt(dsmp, dpkt, server, stop_extending));
(void) send_pkt(dsmp, dpkt, htonl(INADDR_BROADCAST),
(void) send_pkt(dsmp, dpkt, htonl(INADDR_BROADCAST),