Searched refs:SVal2Ptr (Results 1 – 1 of 1) sorted by relevance
375 static inline void *SVal2Ptr (SVal s);499 return SVal2Ptr (lineZ->dict[1]); in LineF_Ptr()707 return SVal2Ptr (sm->linesZ[0].dict[1]); in SecMap_freelist_next()3247 LineF* lineF = SVal2Ptr (lineZ->dict[1]); in vts_tab__do_GC()4170 static inline void *SVal2Ptr (SVal s) in SVal2Ptr() function6997 LineF *lineF = SVal2Ptr(lineZ->dict[1]); in libhb_srange_get_abits()