Symbol: BOOK3S_HFLAG_NEW_TLBIE
arch/powerpc/kvm/book3s_64_mmu.c
544
if (vcpu->arch.hflags & BOOK3S_HFLAG_NEW_TLBIE) {
arch/powerpc/kvm/book3s_pr.c
604
BOOK3S_HFLAG_NEW_TLBIE;