Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c339 uint32_t * pulNetMask, in FreeRTOS_GetAddressConfiguration()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_IP.c852 uint32_t * pulNetMask, in FreeRTOS_GetAddressConfiguration()
890 const uint32_t * pulNetMask, in FreeRTOS_SetAddressConfiguration()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c502 uint32_t * pulNetMask = &ulNetMask; in test_FreeRTOS_GetAddressConfiguration_HappyPath() local
526 uint32_t * pulNetMask = NULL; in test_FreeRTOS_GetAddressConfiguration_AllPointersNull() local
550 uint32_t * pulNetMask = &ulStoredNetMask; in test_FreeRTOS_SetAddressConfiguration_HappyPath() local
570 uint32_t * pulNetMask = NULL; in test_FreeRTOS_SetAddressConfiguration_AllValuesNULL() local