tilcdc_irqstatus_reg
return tilcdc_read(dev, tilcdc_irqstatus_reg(dev));
tilcdc_write(dev, tilcdc_irqstatus_reg(dev), mask);