Searched refs:ctbase_createUser (Results 1 – 2 of 2) sorted by relevance
120 static /*@notnull@*/ /*@only@*/ ctbase ctbase_createUser (typeId p_u) /*@*/ ;910 res = ctbase_createUser (typeId_fromInt (reader_getInt (c))); in ctbase_undump()1162 return (ctbase_createUser (c->contents.tid)); in ctbase_copy()1678 ctbase_createUser (typeId u) in ctbase_createUser() function
150 ctbase ct = ctbase_createUser (u); in ctype_createUser()