|
@@ -19,9 +19,7 @@
|
|
#include <linux/irqchip/arm-gic.h>
|
|
#include <linux/irqchip/arm-gic.h>
|
|
#include <linux/kvm_host.h>
|
|
#include <linux/kvm_host.h>
|
|
|
|
|
|
-#include <asm/kvm_mmu.h>
|
|
|
|
-
|
|
|
|
-#include "hyp.h"
|
|
|
|
|
|
+#include <asm/kvm_hyp.h>
|
|
|
|
|
|
/* vcpu is already in the HYP VA space */
|
|
/* vcpu is already in the HYP VA space */
|
|
void __hyp_text __vgic_v2_save_state(struct kvm_vcpu *vcpu)
|
|
void __hyp_text __vgic_v2_save_state(struct kvm_vcpu *vcpu)
|