Searched refs:rtclock_intr (Results 1 – 8 of 8) sorted by relevance
57 extern int rtclock_intr(x86_saved_state_t *regs);
198 lapic_set_timer_func((i386_intr_func_t) rtclock_intr); in rtc_timer_init()
420 rtclock_intr( in rtclock_intr() function
447 rtclock_intr(state); in interrupt()
90 extern void rtclock_intr(unsigned int);
610 INTERRUPT_MASKED_DEBUG_START(rtclock_intr, DBG_INTR_TYPE_IPI); in cpu_signal_handler_internal()611 rtclock_intr(FALSE); in cpu_signal_handler_internal()
323 rtclock_intr(__unused unsigned int is_user_context) in rtclock_intr() function
1961 INTERRUPT_MASKED_DEBUG_START(rtclock_intr, DBG_INTR_TYPE_TIMER); in sleh_fiq()1962 rtclock_intr(TRUE); in sleh_fiq()