xen: arm64: add guest type to domain field.
authorIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 08:58:04 +0000 (08:58 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 12:14:53 +0000 (12:14 +0000)
commit66e994a5e74f2a3782c0cc60d53412cefbff8e0d
tree930dd7c47ab27159df8c927e7842b687700d7e22
parent1c38a1e937d39d3f6079667bfb6e8ff877eddbde
xen: arm64: add guest type to domain field.

Currently 32 bit PV is the only option.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
xen/arch/arm/kernel.c
xen/arch/arm/kernel.h
xen/include/asm-arm/domain.h