dtl_index         799 arch/powerpc/include/asm/kvm_host.h 	unsigned long dtl_index;
dtl_index         673 arch/powerpc/kvm/book3s_hv.c 		vcpu->arch.dtl_index = 0;
dtl_index         733 arch/powerpc/kvm/book3s_hv.c 	vpa->dtl_idx = cpu_to_be64(++vcpu->arch.dtl_index);