Searched refs:replay_system_reset (Results 1 – 3 of 3) sorted by relevance
435 void replay_system_reset(void) in replay_system_reset() function445 EXPORT_SYMBOL_GPL(replay_system_reset);458 replay_system_reset(); in irq_set_pending_from_srr1()
54 extern void replay_system_reset(void);
3031 replay_system_reset(); in set_irq_happened()
