2 * This program is free software; you can redistribute it and/or modify
3 * it under the terms of the GNU General Public License, version 2, as
4 * published by the Free Software Foundation.
6 * This program is distributed in the hope that it will be useful,
7 * but WITHOUT ANY WARRANTY; without even the implied warranty of
8 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
9 * GNU General Public License for more details.
11 * You should have received a copy of the GNU General Public License
12 * along with this program; if not, write to the Free Software
13 * Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
15 * Copyright IBM Corp. 2008
17 * Authors: Hollis Blanchard <hollisb@us.ibm.com>
20 #include <linux/kvm_host.h>
21 #include <linux/slab.h>
22 #include <linux/err.h>
23 #include <linux/export.h>
26 #include <asm/cputable.h>
27 #include <asm/tlbflush.h>
28 #include <asm/kvm_44x.h>
29 #include <asm/kvm_ppc.h>
34 void kvmppc_core_vcpu_load(struct kvm_vcpu
*vcpu
, int cpu
)
36 kvmppc_booke_vcpu_load(vcpu
, cpu
);
37 kvmppc_44x_tlb_load(vcpu
);
40 void kvmppc_core_vcpu_put(struct kvm_vcpu
*vcpu
)
42 kvmppc_44x_tlb_put(vcpu
);
43 kvmppc_booke_vcpu_put(vcpu
);
46 int kvmppc_core_check_processor_compat(void)
50 if (strncmp(cur_cpu_spec
->platform
, "ppc440", 6) == 0)
58 int kvmppc_core_vcpu_setup(struct kvm_vcpu
*vcpu
)
60 struct kvmppc_vcpu_44x
*vcpu_44x
= to_44x(vcpu
);
61 struct kvmppc_44x_tlbe
*tlbe
= &vcpu_44x
->guest_tlb
[0];
65 tlbe
->word0
= PPC44x_TLB_16M
| PPC44x_TLB_VALID
;
67 tlbe
->word2
= PPC44x_TLB_SX
| PPC44x_TLB_SW
| PPC44x_TLB_SR
;
71 tlbe
->word0
= 0xef600000 | PPC44x_TLB_4K
| PPC44x_TLB_VALID
;
72 tlbe
->word1
= 0xef600000;
73 tlbe
->word2
= PPC44x_TLB_SX
| PPC44x_TLB_SW
| PPC44x_TLB_SR
74 | PPC44x_TLB_I
| PPC44x_TLB_G
;
76 /* Since the guest can directly access the timebase, it must know the
77 * real timebase frequency. Accordingly, it must see the state of
79 /* XXX CCR1 doesn't exist on all 440 SoCs. */
80 vcpu
->arch
.ccr1
= mfspr(SPRN_CCR1
);
82 for (i
= 0; i
< ARRAY_SIZE(vcpu_44x
->shadow_refs
); i
++)
83 vcpu_44x
->shadow_refs
[i
].gtlb_index
= -1;
85 vcpu
->arch
.cpu_type
= KVM_CPU_440
;
90 /* 'linear_address' is actually an encoding of AS|PID|EADDR . */
91 int kvmppc_core_vcpu_translate(struct kvm_vcpu
*vcpu
,
92 struct kvm_translation
*tr
)
99 eaddr
= tr
->linear_address
;
100 pid
= (tr
->linear_address
>> 32) & 0xff;
101 as
= (tr
->linear_address
>> 40) & 0x1;
103 index
= kvmppc_44x_tlb_index(vcpu
, eaddr
, pid
, as
);
109 tr
->physical_address
= kvmppc_mmu_xlate(vcpu
, index
, eaddr
);
110 /* XXX what does "writeable" and "usermode" even mean? */
116 void kvmppc_core_get_sregs(struct kvm_vcpu
*vcpu
, struct kvm_sregs
*sregs
)
118 kvmppc_get_sregs_ivor(vcpu
, sregs
);
121 int kvmppc_core_set_sregs(struct kvm_vcpu
*vcpu
, struct kvm_sregs
*sregs
)
123 return kvmppc_set_sregs_ivor(vcpu
, sregs
);
126 struct kvm_vcpu
*kvmppc_core_vcpu_create(struct kvm
*kvm
, unsigned int id
)
128 struct kvmppc_vcpu_44x
*vcpu_44x
;
129 struct kvm_vcpu
*vcpu
;
132 vcpu_44x
= kmem_cache_zalloc(kvm_vcpu_cache
, GFP_KERNEL
);
138 vcpu
= &vcpu_44x
->vcpu
;
139 err
= kvm_vcpu_init(vcpu
, kvm
, id
);
143 vcpu
->arch
.shared
= (void*)__get_free_page(GFP_KERNEL
|__GFP_ZERO
);
144 if (!vcpu
->arch
.shared
)
150 kvm_vcpu_uninit(vcpu
);
152 kmem_cache_free(kvm_vcpu_cache
, vcpu_44x
);
157 void kvmppc_core_vcpu_free(struct kvm_vcpu
*vcpu
)
159 struct kvmppc_vcpu_44x
*vcpu_44x
= to_44x(vcpu
);
161 free_page((unsigned long)vcpu
->arch
.shared
);
162 kvm_vcpu_uninit(vcpu
);
163 kmem_cache_free(kvm_vcpu_cache
, vcpu_44x
);
166 int kvmppc_core_init_vm(struct kvm
*kvm
)
171 void kvmppc_core_destroy_vm(struct kvm
*kvm
)
175 static int __init
kvmppc_44x_init(void)
179 r
= kvmppc_booke_init();
183 return kvm_init(NULL
, sizeof(struct kvmppc_vcpu_44x
), 0, THIS_MODULE
);
186 static void __exit
kvmppc_44x_exit(void)
191 module_init(kvmppc_44x_init
);
192 module_exit(kvmppc_44x_exit
);