Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPGetCacheEntry/
DARPGetCacheEntry_harness.c41 …NetworkInterface_t ** ppxInterface = ( NetworkInterface_t ** ) malloc( sizeof( NetworkInterface_t … in harness() local
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPGetCacheEntryByMac/
DARPGetCacheEntryByMac_harness.c19 …NetworkInterface_t ** ppxInterface = ( NetworkInterface_t ** ) malloc( sizeof( NetworkInterface_t … in harness() local
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_ARP.c899 struct xNetworkInterface ** ppxInterface ) in eARPGetCacheEntryByMac()