Searched refs:write_state_structures (Results 1 – 3 of 3) sorted by relevance
190 void write_state_structures (void);1236 state_writer::write_state_structures (void) in write_state_structures() function in state_writer1393 sw.write_state_structures (); in write_state()
30189 (write_state_structures): ditto, renaming to...30190 (state_writer::write_state_structures)
188 void write_state_structures (void);1217 state_writer::write_state_structures (void) in write_state_structures() function1374 sw.write_state_structures (); in write_state()