#include <oskit/dev/osenv_ioport.h>
const oskit_iid_t oskit_osenv_ioport_iid = OSKIT_OSENV_IOPORT_IID;