|
@@ -52,13 +52,14 @@ extern int kvmppc_emulate_instruction(struct kvm_run *run,
|
|
|
extern int kvmppc_emulate_mmio(struct kvm_run *run, struct kvm_vcpu *vcpu);
|
|
|
extern void kvmppc_emulate_dec(struct kvm_vcpu *vcpu);
|
|
|
|
|
|
+/* Core-specific hooks */
|
|
|
+
|
|
|
extern void kvmppc_mmu_map(struct kvm_vcpu *vcpu, u64 gvaddr, gpa_t gpaddr,
|
|
|
u64 asid, u32 flags, u32 max_bytes,
|
|
|
unsigned int gtlb_idx);
|
|
|
extern void kvmppc_mmu_priv_switch(struct kvm_vcpu *vcpu, int usermode);
|
|
|
extern void kvmppc_mmu_switch_pid(struct kvm_vcpu *vcpu, u32 pid);
|
|
|
-
|
|
|
-/* Core-specific hooks */
|
|
|
+extern void kvmppc_mmu_destroy(struct kvm_vcpu *vcpu);
|
|
|
|
|
|
extern struct kvm_vcpu *kvmppc_core_vcpu_create(struct kvm *kvm,
|
|
|
unsigned int id);
|