The Xen arch code traps system registers writes from the guest and will
relay anything GIC related to the VGIC.
Since this affects only GICv3 (which we don't yet emulate), provide a
stub implementation of vgic_emulate() for now.
Signed-off-by: Andre Przywara <andre.przywara@linaro.org>
Acked-by: Julien Grall <julien.grall@arm.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
return desc;
}
+bool vgic_emulate(struct cpu_user_regs *regs, union hsr hsr)
+{
+ ASSERT(current->domain->arch.vgic.version == GIC_V3);
+
+ return false;
+}
+
/*
* was:
* int kvm_vgic_map_phys_irq(struct vcpu *vcpu, u32 virt_irq, u32 phys_irq)