IT_TIM
tim = pci_conf_read(sc->sc_pc, sc->sc_tag, IT_TIM(channel));
pci_conf_write(sc->sc_pc, sc->sc_tag, IT_TIM(channel), tim);