Home
last modified time | relevance | path

Searched defs:pulDNSServerAddress (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c341 uint32_t * pulDNSServerAddress ) in FreeRTOS_GetAddressConfiguration()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_IP.c854 uint32_t * pulDNSServerAddress ) in FreeRTOS_GetAddressConfiguration()
892 const uint32_t * pulDNSServerAddress ) in FreeRTOS_SetAddressConfiguration()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c504 uint32_t * pulDNSServerAddress = &ulDNSServerAddress; in test_FreeRTOS_GetAddressConfiguration_HappyPath() local
528 uint32_t * pulDNSServerAddress = NULL; in test_FreeRTOS_GetAddressConfiguration_AllPointersNull() local
552 uint32_t * pulDNSServerAddress = &ulStoredDNSServerAddress; in test_FreeRTOS_SetAddressConfiguration_HappyPath() local
572 uint32_t * pulDNSServerAddress = NULL; in test_FreeRTOS_SetAddressConfiguration_AllValuesNULL() local