PCH_TSE_TTIPEND
if (val & PCH_TSE_TTIPEND)
ack |= PCH_TSE_TTIPEND; /* this bit seems to be always set */
iowrite32(PCH_TSE_TTIPEND, &chip->regs->event);