tidseld           316 arch/powerpc/kvm/e500.h 	unsigned int tidseld = (vcpu->arch.shared->mas4 >> 16) & 0xf;
tidseld           318 arch/powerpc/kvm/e500.h 	return vcpu_e500->pid[tidseld];