Searched refs:handle_m_timer_interrupt (Results 1 – 3 of 3) sorted by relevance
99 void handle_m_timer_interrupt(void);
92 void handle_m_timer_interrupt(void) in handle_m_timer_interrupt() function
27 void handle_m_timer_interrupt(void);747 handle_m_timer_interrupt(); in trap_from_machine_mode()
