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
37 void wait_for_tb_resync(void) in wait_for_tb_resync() function
311 wait_for_tb_resync(); in kvmppc_realmode_hmi_handler()
740 wait_for_tb_resync(); in DEFINE_INTERRUPT_HANDLER_NMI()
Completed in 5 milliseconds