numachip2_timer    32 drivers/clocksource/numachip.c 	numachip2_write64_lcsr(NUMACHIP2_TIMER_DEADLINE + numachip2_timer(),
numachip2_timer    63 drivers/clocksource/numachip.c 	numachip2_write64_lcsr(NUMACHIP2_TIMER_INT + numachip2_timer(),