xen/arm: Introduce INVALID_VCPU_ID
authorJulien Grall <julien.grall@arm.com>
Wed, 8 Mar 2017 18:06:01 +0000 (18:06 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 8 Mar 2017 18:59:23 +0000 (10:59 -0800)
commitbd8451964078b006081fcef6d169961a3a6f746a
treefbaa0677601dd91055b16f9ca9bd610df5781f3c
parente29d37da55f842e17dd95d17aca6a1c7b6fde705
xen/arm: Introduce INVALID_VCPU_ID

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.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/include/asm-arm/config.h