4 static uint8_t read8(uint64_t addr);
5 static uint16_t read16(uint64_t addr);
6 static uint32_t read32(uint64_t addr);
7 static uint64_t read64(uint64_t addr);
9 static uint8_t write8(uint64_t addr, uint8_t val);
10 static uint16_t write16(uint64_t addr, uint16_t val);
11 static uint32_t write32(uint64_t addr, uint32_t val);
12 static uint64_t write64(uint64_t addr, uint64_t val);
