Searched refs:wait_for_tb_resync (Results 1 – 4 of 4) sorted by relevance
40 extern void wait_for_tb_resync(void);43 static inline void wait_for_tb_resync(void) { } in wait_for_tb_resync() function
48 void wait_for_tb_resync(void) in wait_for_tb_resync() function
332 wait_for_tb_resync(); in kvmppc_realmode_hmi_handler()
621 wait_for_tb_resync(); in hmi_exception_realmode()
