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