+timer_call_shutdown(
+ processor_t processor)
+{
+ timer_call_t call;
+ queue_t queue, myqueue;
+
+ assert(processor != current_processor());
+
+ queue = &PROCESSOR_DATA(processor, timer_call_queue);
+ myqueue = &PROCESSOR_DATA(current_processor(), timer_call_queue);
+
+ simple_lock(&timer_call_lock);
+
+ call = TC(queue_first(queue));
+
+ while (!queue_end(queue, qe(call))) {
+ _delayed_call_dequeue(call);
+
+ _delayed_call_enqueue(myqueue, call);
+
+ call = TC(queue_first(queue));
+ }
+
+ call = TC(queue_first(myqueue));
+
+ if (!queue_end(myqueue, qe(call)))
+ _set_delayed_call_timer(call);
+
+ simple_unlock(&timer_call_lock);
+}
+
+static void
+timer_call_interrupt(uint64_t timestamp)