Symbol: numachip2_write64_lcsr
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(),
drivers/clocksource/numachip.c
78
numachip2_write64_lcsr(NUMACHIP2_TIMER_RESET, 0);