CLOCK_VECTOR
ia64_set_itv(CLOCK_VECTOR); /* highest priority class */
if (vector == CLOCK_VECTOR) {/* clock interrupt */