pgfault_index     788 arch/powerpc/include/asm/kvm_host.h 	long pgfault_index;
pgfault_index     537 arch/powerpc/kvm/book3s_64_mmu_hv.c 	index = vcpu->arch.pgfault_index;
pgfault_index    1286 arch/powerpc/kvm/book3s_hv_rm_mmu.c 	vcpu->arch.pgfault_index = index;