numachip2_write64_lcsr
numachip2_write64_lcsr(NUMACHIP2_TIMER_DEADLINE + numachip2_timer(),
numachip2_write64_lcsr(NUMACHIP2_TIMER_INT + numachip2_timer(),
numachip2_write64_lcsr(NUMACHIP2_TIMER_RESET, 0);