add_pkt_opt32
(void) add_pkt_opt32(dpkt, CD_REQUESTED_IP_ADDR,
(void) add_pkt_opt32(dpkt, CD_LEASE_TIME, htonl(DHCP_PERM));
if (!add_pkt_opt32(dpkt, CD_REQUESTED_IP_ADDR,
void *add_pkt_opt32(dhcp_pkt_t *, uint_t, uint32_t);
(void) add_pkt_opt32(dpkt, CD_SERVER_ID, serverip);
(void) add_pkt_opt32(dpkt, CD_SERVER_ID, serverip);
(void) add_pkt_opt32(dpkt, CD_LEASE_TIME, htonl(DHCP_PERM));
(void) add_pkt_opt32(dpkt, CD_LEASE_TIME, lease);
(void) add_pkt_opt32(dpkt, CD_REQUESTED_IP_ADDR,
(void) add_pkt_opt32(dpkt, CD_LEASE_TIME, htonl(DHCP_PERM));