Searched refs:wait_for_tb_resync (Results 1 – 4 of 4) sorted by relevance
28 extern void wait_for_tb_resync(void);31 static inline void wait_for_tb_resync(void) { } in wait_for_tb_resync() function
42 void wait_for_tb_resync(void) in wait_for_tb_resync() function
366 wait_for_tb_resync(); in kvmppc_realmode_hmi_handler()
747 wait_for_tb_resync(); in DEFINE_INTERRUPT_HANDLER_NMI()