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