Searched refs:replay_system_reset (Results 1 – 3 of 3) sorted by relevance
472 void replay_system_reset(void) in replay_system_reset() function482 EXPORT_SYMBOL_GPL(replay_system_reset);495 replay_system_reset(); in irq_set_pending_from_srr1()
53 extern void replay_system_reset(void);
3079 replay_system_reset(); in set_irq_happened()