int arch_cpu_clockevent_expire(void) { int rc; rc = realview_timer_event_start(pba8_timer0_base, 0); if (!rc) { /* FIXME: The polling loop below is fine with emulators but, * for real hardware we might require some soft delay to * avoid bus contention. */ while (!realview_timer_event_checkirq(pba8_timer0_base)); } return rc; }
int vmm_cpu_clockevent_start(u64 tick_nsecs) { return realview_timer_event_start(pba8_timer0_base, tick_nsecs); }