TXX9_CLOCKSOURCE_BITS
.mask = CLOCKSOURCE_MASK(TXX9_CLOCKSOURCE_BITS),
__raw_writel(1 << TXX9_CLOCKSOURCE_BITS, &tmrptr->cpra);
sched_clock_register(txx9_read_sched_clock, TXX9_CLOCKSOURCE_BITS,