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