#include <oskit/dev/osenv_irq.h>
const oskit_iid_t oskit_osenv_irq_iid = OSKIT_OSENV_IRQ_IID;