NEXT_I_TIMER
isrlink_autovec(clock_intr, NULL, NEXT_I_IPL(NEXT_I_TIMER), 0, NULL);
INTR_ENABLE(NEXT_I_TIMER);
if (!INTR_OCCURRED(NEXT_I_TIMER)) {
} while (INTR_OCCURRED(NEXT_I_TIMER));