Searched defs:nbtypedefs (Results 1 – 2 of 2) sorted by relevance
1223 int nbtypedefs = pair_list_length (typedefs); in write_state_typedefs() local2304 int nbtypedefs = 0; in read_state_typedefs() local
1204 int nbtypedefs = pair_list_length (typedefs); in write_state_typedefs() local2272 int nbtypedefs = 0; in read_state_typedefs() local