1 alwaysinline void op_io();
2 alwaysinline uint8 op_read(unsigned addr);
3 alwaysinline void op_write(unsigned addr, uint8 data);
4 
5 uint8_t vbr_read(unsigned addr);
6