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
302 wait_for_tb_resync(); in kvmppc_realmode_hmi_handler()
697 wait_for_tb_resync(); in hmi_exception_realmode()