Searched refs:ctbase_makePointer (Results 1 – 3 of 3) sorted by relevance
459 ct = ctbase_makePointer (j); in cttable_init()
133 static /*@notnull@*/ /*@only@*/ ctbase ctbase_makePointer (ctype p_b) /*@*/ ;922 res = ctbase_makePointer (ctype_undump (c)); in ctbase_undump()1170 return (ctbase_makePointer (c->contents.base)); in ctbase_copy()1766 ctbase_makePointer (ctype b) in ctbase_makePointer() function
339 ctype cnew = cttable_addDerived (CTK_PTR, ctbase_makePointer (c), c); in ctype_makePointer()