pcmmio_dio_read
val = pcmmio_dio_read(dev, 0, port);
triggered = pcmmio_dio_read(dev, PCMMIO_PAGE_INT_ID, 0);