wait_for_tb_resync   28 arch/powerpc/include/asm/hmi.h extern void wait_for_tb_resync(void);
wait_for_tb_resync  697 arch/powerpc/kernel/mce.c 	wait_for_tb_resync();
wait_for_tb_resync  302 arch/powerpc/kvm/book3s_hv_ras.c 		wait_for_tb_resync();