HPET_TCNF_INT_TYPE
if ((vhpet->timer[n].cap_config & HPET_TCNF_INT_TYPE) == 0)
t->caps &= ~(HPET_TCNF_INT_TYPE);
t->caps |= (sc->irq << 9) | HPET_TCNF_INT_TYPE;