ioread8
result[0] = ioread8(va);
result[1] = ioread8(va + byte);
result[2] = ioread8(va + pagesize - 1);
#define readb(p) ioread8(p)
uint8_t : ioread8(addr), \