20 #include "pedigree/kernel/processor/IoBase.h" 27 uint64_t low =
read32(offset);
28 uint64_t high =
read32(offset + 4);
29 return low | (high << 32);
34 uint64_t high =
read32(offset + 4);
35 uint64_t low =
read32(offset);
36 return low | (high << 32);
41 write32(value & 0xFFFFFFFF, offset);
42 write32(value >> 32, offset + 4);
47 write32(value >> 32, offset + 4);
48 write32(value & 0xFFFFFFFF, offset);
uint64_t read64HighFirst(size_t offset=0)
uint64_t read64LowFirst(size_t offset=0)
virtual uint32_t read32(size_t offset=0)=0
void write64HighFirst(uint64_t value, size_t offset=0)
void write64LowFirst(uint64_t value, size_t offset=0)
virtual void write32(uint32_t value, size_t offset=0)=0