#endif
void write_signal(int id, uint32_t data, uint32_t mask);
uint32_t read_signal(int id);
- void decl_state();
- void save_state(FILEIO* state_fio);
- bool load_state(FILEIO* state_fio);
+ bool process_state(FILEIO* state_fio, bool loading);
// unique functions
void set_context_irq(DEVICE* device, int id, uint32_t mask)