On 22/12/16 02:15, Stefano Stabellini wrote:
diff --git a/xen/include/asm-arm/vgic.h b/xen/include/asm-arm/vgic.h
index 467333c..fde5b32 100644
--- a/xen/include/asm-arm/vgic.h
+++ b/xen/include/asm-arm/vgic.h
@@ -72,6 +72,8 @@ struct pending_irq
#define GIC_INVALID_LR (uint8_t)~0
uint8_t lr;
uint8_t priority;
+#define GIC_INVALID_VCPU (uint8_t)~0
+ uint8_t vcpu;
You probably want a BUILD_BUG_ON() somewhere to trip when the maximum
number of domain vcpus exceeds 255.
~Andrew
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
