Trap writes to GICD_SGIR, parse the requests, inject SGIs into the right guest vcpu.
fbe58dd xen/arm: support for guest SGI
xen/arch/arm/vgic.c | 73 ++++++++++++++++++++++++++++++++++++++++++---
xen/include/asm-arm/gic.h | 15 ++++++----
2 files changed, 78 insertions(+), 10 deletions(-)
Upstream: xenbits.xen.org