wait_for_tb_resync   31 arch/powerpc/include/asm/hmi.h static inline void wait_for_tb_resync(void) { }
wait_for_tb_resync   37 arch/powerpc/kvm/book3s_hv_hmi.c void wait_for_tb_resync(void)