to_e500
return kvmppc_e500_get_sid(to_e500(vcpu), get_tlb_ts(gtlbe),
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
kvmppc_e500_recalc_shadow_pid(to_e500(vcpu));
kvmppc_e500_recalc_shadow_pid(to_e500(vcpu));
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
vcpu_e500 = to_e500(vcpu);
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);