HPET_TIMER_N_INT_ROUTE_CAP
cc.int_route_cap = HPET_TIMER_N_INT_ROUTE_CAP(conf);
ASSERT(HPET_TIMER_N_INT_ROUTE_CAP(conf) & (1 << interrupt));