|
@@ -362,11 +362,10 @@ static inline void __cpu_init_hyp_mode(phys_addr_t pgd_ptr,
|
|
|
__kvm_call_hyp((void *)pgd_ptr, hyp_stack_ptr, vector_ptr);
|
|
__kvm_call_hyp((void *)pgd_ptr, hyp_stack_ptr, vector_ptr);
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
-void __kvm_hyp_teardown(void);
|
|
|
|
|
static inline void __cpu_reset_hyp_mode(unsigned long vector_ptr,
|
|
static inline void __cpu_reset_hyp_mode(unsigned long vector_ptr,
|
|
|
phys_addr_t phys_idmap_start)
|
|
phys_addr_t phys_idmap_start)
|
|
|
{
|
|
{
|
|
|
- kvm_call_hyp(__kvm_hyp_teardown, phys_idmap_start);
|
|
|
|
|
|
|
+ __hyp_reset_vectors();
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
static inline void kvm_arch_hardware_unsetup(void) {}
|
|
static inline void kvm_arch_hardware_unsetup(void) {}
|