3 #ifndef __ARCH_MMIO_H__
4 #define __ARCH_MMIO_H__
void write64(void *addr, uint64_t val)
uint64_t read64(const void *addr)
static __always_inline void write8(volatile void *addr, uint8_t value)
static __always_inline void write32(volatile void *addr, uint32_t value)
static __always_inline uint32_t read32(const volatile void *addr)
static __always_inline uint16_t read16(const volatile void *addr)
static __always_inline void write16(volatile void *addr, uint16_t value)
static __always_inline uint8_t read8(const volatile void *addr)
unsigned long long uint64_t