Symbol: wait_for_tb_resync
arch/powerpc/include/asm/hmi.h
28
extern void wait_for_tb_resync(void);
arch/powerpc/kernel/mce.c
747
wait_for_tb_resync();
arch/powerpc/kvm/book3s_hv_ras.c
366
wait_for_tb_resync();