On Wed, 8 Mar 2017, Julien Grall wrote:
> Define INVALID_VCPU_ID as MAX_VIRT_CPUS to avoid casting problem later
> on. At the moment it can always fit in uint8_t.
>
> Signed-off-by: Julien Grall
Reviewed-by: Stefano Stabellini
> ---
> xen/include/asm-arm/config.h | 2 ++
> 1 file changed, 2
Define INVALID_VCPU_ID as MAX_VIRT_CPUS to avoid casting problem later
on. At the moment it can always fit in uint8_t.
Signed-off-by: Julien Grall
---
xen/include/asm-arm/config.h | 2 ++
1 file changed, 2 insertions(+)
diff --git a/xen/include/asm-arm/config.h b/xen/include/asm-arm/config.h
in