Searched refs:swa_sizeSWA_wrk (Results 1 – 1 of 1) sorted by relevance
435 static UWord swa_sizeSWA_wrk ( void* nd ) in swa_sizeSWA_wrk() function443 sum += swa_sizeSWA_wrk( levelN->child[i] ); in swa_sizeSWA_wrk()469 return swa_sizeSWA_wrk ( swa->root ); in VG_()