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