- void write_io8(uint32 addr, uint32 data);
- uint32 read_io8(uint32 addr);
- void write_signal(int id, uint32 data, uint32 mask);
+ void write_io8(uint32_t addr, uint32_t data);
+ uint32_t read_io8(uint32_t addr);
+ void write_signal(int id, uint32_t data, uint32_t mask);