std :: interrupt::mmio
#include <std/interrupt/mmio.h> source ยท definition
#include <std/interrupt/mmio.h>
unsigned int mmio_read32(&volatile unsigned int addr)