Searched refs:Ptr2SVal (Results 1 – 1 of 1) sorted by relevance
376 static inline SVal Ptr2SVal (void* ptr);714 sm->linesZ[0].dict[1] = Ptr2SVal (next); in set_SecMap_freelist_next()1034 lineZ->dict[1] = Ptr2SVal (lineF); in alloc_LineF_for_Z()4175 static inline SVal Ptr2SVal (void* ptr) in Ptr2SVal() function