get_cur_spid      310 arch/powerpc/kvm/e500_mmu.c 	int pid = get_cur_spid(vcpu);
get_cur_spid      345 arch/powerpc/kvm/e500_mmu.c 	unsigned int pid = get_cur_spid(vcpu);