Searched refs:replay_system_reset (Results 1 – 3 of 3) sorted by relevance
440 void replay_system_reset(void) in replay_system_reset() function450 EXPORT_SYMBOL_GPL(replay_system_reset);463 replay_system_reset(); in irq_set_pending_from_srr1()
649 void replay_system_reset(void);
3701 replay_system_reset(); in set_irq_happened()