Searched refs:ppxInterface (Results 1 – 4 of 4) sorted by relevance
19 …NetworkInterface_t ** ppxInterface = ( NetworkInterface_t ** ) malloc( sizeof( NetworkInterface_t … in harness() local21 if( ppxInterface ) in harness()23 *ppxInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface_t ) ); in harness()24 __CPROVER_assume( *ppxInterface != NULL ); in harness()27 eARPGetCacheEntryByMac( &xMACAddress, &ulIPAddress, ppxInterface ); in harness()
41 …NetworkInterface_t ** ppxInterface = ( NetworkInterface_t ** ) malloc( sizeof( NetworkInterface_t … in harness() local43 if( ppxInterface ) in harness()45 *ppxInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface_t ) ); in harness()46 __CPROVER_assume( *ppxInterface != NULL ); in harness()49 eARPGetCacheEntry( &ulIPAddress, &xMACAddress, ppxInterface ); in harness()
141 struct xNetworkInterface ** ppxInterface );
899 struct xNetworkInterface ** ppxInterface ) in eARPGetCacheEntryByMac() argument907 if( ppxInterface != NULL ) in eARPGetCacheEntryByMac()909 *( ppxInterface ) = NULL; in eARPGetCacheEntryByMac()921 if( ( ppxInterface != NULL ) && in eARPGetCacheEntryByMac()924 *( ppxInterface ) = xARPCache[ x ].pxEndPoint->pxNetworkInterface; in eARPGetCacheEntryByMac()
