Searched defs:vcpu_44x (Results 1 – 2 of 2) sorted by relevance
50 struct kvmppc_vcpu_44x *vcpu_44x = to_44x(vcpu); in kvmppc_dump_tlbs() local144 struct kvmppc_vcpu_44x *vcpu_44x = to_44x(vcpu); in kvmppc_44x_tlb_load() local155 static void kvmppc_44x_tlbe_set_modified(struct kvmppc_vcpu_44x *vcpu_44x, in kvmppc_44x_tlbe_set_modified()164 struct kvmppc_vcpu_44x *vcpu_44x = to_44x(vcpu); in kvmppc_44x_tlb_put() local183 struct kvmppc_vcpu_44x *vcpu_44x = to_44x(vcpu); in kvmppc_44x_tlb_index() local216 struct kvmppc_vcpu_44x *vcpu_44x = to_44x(vcpu); in kvmppc_mmu_xlate() local245 static void kvmppc_44x_shadow_release(struct kvmppc_vcpu_44x *vcpu_44x, in kvmppc_44x_shadow_release()273 struct kvmppc_vcpu_44x *vcpu_44x = to_44x(vcpu); in kvmppc_mmu_destroy() local296 struct kvmppc_vcpu_44x *vcpu_44x = to_44x(vcpu); in kvmppc_mmu_map() local380 struct kvmppc_vcpu_44x *vcpu_44x = to_44x(vcpu); in kvmppc_44x_invalidate() local[all …]
56 struct kvmppc_vcpu_44x *vcpu_44x = to_44x(vcpu); in kvmppc_core_vcpu_setup() local112 struct kvmppc_vcpu_44x *vcpu_44x; in kvmppc_core_vcpu_create() local143 struct kvmppc_vcpu_44x *vcpu_44x = to_44x(vcpu); in kvmppc_core_vcpu_free() local