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