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