Searched refs:replay_system_reset (Results 1 – 3 of 3) sorted by relevance
449 void replay_system_reset(void) in replay_system_reset() function459 EXPORT_SYMBOL_GPL(replay_system_reset);472 replay_system_reset(); in irq_set_pending_from_srr1()
54 extern void replay_system_reset(void);
2704 replay_system_reset(); in set_irq_happened()
