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