20#include "pedigree/kernel/processor/IoBase.h"
26 uint64_t low =
read32(offset);
27 uint64_t high =
read32(offset + 4);
28 return low | (high << 32);
32 uint64_t high =
read32(offset + 4);
33 uint64_t low =
read32(offset);
34 return low | (high << 32);
38 write32(value & 0xFFFFFFFF, offset);
39 write32(value >> 32, offset + 4);
43 write32(value >> 32, offset + 4);
44 write32(value & 0xFFFFFFFF, offset);
void write64LowFirst(uint64_t value, size_t offset=0)
virtual void write32(uint32_t value, size_t offset=0)=0
void write64HighFirst(uint64_t value, size_t offset=0)
uint64_t read64HighFirst(size_t offset=0)
virtual uint32_t read32(size_t offset=0)=0
uint64_t read64LowFirst(size_t offset=0)