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)