arm/dom0less: assign dom0less guests to cpupools
authorLuca Fancellu <luca.fancellu@arm.com>
Fri, 6 May 2022 12:00:11 +0000 (13:00 +0100)
committerStefano Stabellini <stefano.stabellini@xilinx.com>
Mon, 9 May 2022 20:32:57 +0000 (13:32 -0700)
commit92ea9c54fc81b75154a72168b9a2be969b9d7ff8
treee9fce28f54ce06704dc0b866e2cb4151b3b5560d
parent544e8af41e23e0d1e787beaa512877f69e51fd76
arm/dom0less: assign dom0less guests to cpupools

Introduce domain-cpupool property of a xen,domain device tree node,
that specifies the cpupool device tree handle of a xen,cpupool node
that identifies a cpupool created at boot time where the guest will
be assigned on creation.

Add member to the xen_domctl_createdomain public interface so the
XEN_DOMCTL_INTERFACE_VERSION version is bumped.

Add public function to retrieve a pool id from the device tree
cpupool node.

Update documentation about the property.

Signed-off-by: Luca Fancellu <luca.fancellu@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Reviewed-by: Juergen Gross <jgross@suse.com>
docs/misc/arm/device-tree/booting.txt
xen/arch/arm/domain_build.c
xen/common/domain.c
xen/common/sched/boot-cpupool.c
xen/include/public/domctl.h
xen/include/xen/sched.h