Searched refs:DHCP6_OPTION_IDX_DNS_SERVER (Results 1 – 1 of 1) sorted by relevance
100 DHCP6_OPTION_IDX_DNS_SERVER, enumerator531 if (dhcp6_option_given(dhcp6, DHCP6_OPTION_IDX_DNS_SERVER)) { in dhcp6_handle_config_reply()534 u16_t op_start = dhcp6_get_option_start(dhcp6, DHCP6_OPTION_IDX_DNS_SERVER); in dhcp6_handle_config_reply()535 u16_t op_len = dhcp6_get_option_length(dhcp6, DHCP6_OPTION_IDX_DNS_SERVER); in dhcp6_handle_config_reply()673 dhcp6_got_option(dhcp6, DHCP6_OPTION_IDX_DNS_SERVER); in dhcp6_parse_reply()674 dhcp6_set_option(dhcp6, DHCP6_OPTION_IDX_DNS_SERVER, val_offset, len); in dhcp6_parse_reply()