kvmppc_e500_get_sid
vcpu_e500->vcpu.arch.shadow_pid = kvmppc_e500_get_sid(vcpu_e500,
vcpu_e500->vcpu.arch.shadow_pid1 = kvmppc_e500_get_sid(vcpu_e500,
return kvmppc_e500_get_sid(to_e500(vcpu), get_tlb_ts(gtlbe),
unsigned int kvmppc_e500_get_sid(struct kvmppc_vcpu_e500 *vcpu_e500,
stid = kvmppc_e500_get_sid(vcpu_e500, 0, 0, 0, 0);