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