PCMMIO_PAGE_INT_ID
pcmmio_dio_write(dev, 0, PCMMIO_PAGE_INT_ID, 0);
triggered = pcmmio_dio_read(dev, PCMMIO_PAGE_INT_ID, 0);