1 uint8 op_read(uint16 addr);
2 alwaysinline uint8 peekpipe();
3 alwaysinline uint8 pipe();
4 
5 void cache_flush();
6 uint8 cache_mmio_read(uint16 addr);
7 void cache_mmio_write(uint16 addr, uint8 data);
8 
9 void memory_reset();
10