MMIO

include/drivers/mmio.h

mmio_map

void * mmio_map(paddr_t phys, size_t size);

mmio_map referenced types:

• paddr_t

mmio_unmap

void mmio_unmap(void *vaddr, size_t size);

mmio_init

void mmio_init();

mmio_write_64

void mmio_write_64(void *address, uint64_t value);

mmio_write_32

void mmio_write_32(void *address, uint32_t value);

mmio_write_16

void mmio_write_16(void *address, uint16_t value);

mmio_write_8

void mmio_write_8(void *address, uint8_t value);

mmio_read_64

uint64_t mmio_read_64(void *address);

mmio_read_32

uint32_t mmio_read_32(void *address);

mmio_read_16

uint16_t mmio_read_16(void *address);

mmio_read_8

uint8_t mmio_read_8(void *address);

Defines

MMIO_RANGE_SIZE

#define MMIO_RANGE_SIZE ((uintptr_t) PAGE_1GB * 64ULL)

---