Searched refs:replay_system_reset (Results 1 – 3 of 3) sorted by relevance
488 void replay_system_reset(void) in replay_system_reset() function498 EXPORT_SYMBOL_GPL(replay_system_reset);511 replay_system_reset(); in irq_set_pending_from_srr1()
53 extern void replay_system_reset(void);
3075 replay_system_reset(); in set_irq_happened()
