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 <julien.gr...@arm.com> --- 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 index ba61f65a39..6a92f53f72 100644 --- a/xen/include/asm-arm/config.h +++ b/xen/include/asm-arm/config.h @@ -46,6 +46,8 @@ #define MAX_VIRT_CPUS 8 #endif +#define INVALID_VCPU_ID MAX_VIRT_CPUS + #define asmlinkage /* Nothing needed */ #define __LINUX_ARM_ARCH__ 7 -- 2.11.0 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel