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