Re: [Xen-devel] [PATCH v2 2/4] arm: store vcpu id in struct irq_pending

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

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@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel