7 #ifndef __ARCH_MMIO_H__
8 #define __ARCH_MMIO_H__
10 #include <arch/cache.h>
void write64(void *addr, uint64_t val)
uint64_t read64(const void *addr)
static void write8(void *addr, uint8_t val)
static void write32(void *addr, uint32_t val)
static uint16_t read16(const void *addr)
static uint32_t read32(const void *addr)
static uint8_t read8(const void *addr)
static void write16(void *addr, uint16_t val)
unsigned long long uint64_t