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