|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Xen-changelog] [xen master] xen/arm: warn the user that we cannot route SPIs to Dom0 on ACPI
commit f91c84edebe67296e4051af055dbf0adafb13a37
Author: Stefano Stabellini <sstabellini@xxxxxxxxxx>
AuthorDate: Wed Jun 1 15:38:51 2016 +0100
Commit: Stefano Stabellini <sstabellini@xxxxxxxxxx>
CommitDate: Wed Jun 1 16:14:08 2016 +0100
xen/arm: warn the user that we cannot route SPIs to Dom0 on ACPI
as a consequence of 9d77b3c01d1261ce17c10097a1b393f2893ca657 being
reverted.
Signed-off-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
Reviewed-by: Julien Grall <julien.grall@xxxxxxx>
---
xen/arch/arm/vgic.c | 15 +++++++++++++++
1 file changed, 15 insertions(+)
diff --git a/xen/arch/arm/vgic.c b/xen/arch/arm/vgic.c
index ee35683..413ff16 100644
--- a/xen/arch/arm/vgic.c
+++ b/xen/arch/arm/vgic.c
@@ -25,6 +25,8 @@
#include <xen/irq.h>
#include <xen/sched.h>
#include <xen/perfc.h>
+#include <xen/iocap.h>
+#include <xen/acpi.h>
#include <asm/current.h>
@@ -342,9 +344,22 @@ void vgic_enable_irqs(struct vcpu *v, uint32_t r, int n)
unsigned long flags;
int i = 0;
struct vcpu *v_target;
+ struct domain *d = v->domain;
while ( (i = find_next_bit(&mask, 32, i)) < 32 ) {
irq = i + (32 * n);
+ /* Set the irq type and route it to guest only for SPI and Dom0 */
+ if( irq_access_permitted(d, irq) && is_hardware_domain(d) &&
+ ( irq >= 32 ) && ( !acpi_disabled ) )
+ {
+ static int log_once = 0;
+ if ( !log_once )
+ {
+ gprintk(XENLOG_WARNING, "Routing SPIs to Dom0 on ACPI systems
is unimplemented.\n");
+ log_once++;
+ }
+ }
+
v_target = __vgic_get_target_vcpu(v, irq);
p = irq_to_pending(v_target, irq);
set_bit(GIC_IRQ_GUEST_ENABLED, &p->status);
--
generated by git-patchbot for /home/xen/git/xen.git#master
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |