The patch series adds new library calls for allocating domain IDs.
Patch 1 introduces new domid_{alloc,free} calls.
Patch 2 adjusts hardware domain ID treatment on Arm.
Patch 3 is an RFC: introduces new CONFIG_MAX_DOMID parameter to limit the
number of user domains during run-time.
Link to v7:
https://lore.kernel.org/xen-devel/20250519192306.1364471-1-dmuk...@ford.com/
Link to CI:
https://gitlab.com/xen-project/people/dmukhin/xen/-/pipelines/1828093998
Denis Mukhin (3):
xen/domain: unify domain ID allocation
xen/domain: adjust domain ID allocation for Arm
xen/domain: introduce CONFIG_MAX_DOMID
xen/arch/arm/domain_build.c | 17 +++++--
xen/arch/arm/tee/ffa.c | 3 +-
xen/arch/x86/cpu/mcheck/mce.c | 2 +-
xen/arch/x86/cpu/vpmu.c | 2 +-
xen/arch/x86/setup.c | 11 +++--
xen/common/Kconfig | 7 +++
xen/common/device-tree/dom0less-build.c | 17 ++++---
xen/common/domain.c | 62 +++++++++++++++++++++++--
xen/common/domctl.c | 42 ++---------------
xen/common/sched/core.c | 4 +-
xen/drivers/passthrough/vtd/iommu.c | 2 +-
xen/include/public/domctl.h | 2 +-
xen/include/xen/domain.h | 3 ++
13 files changed, 108 insertions(+), 66 deletions(-)
--
2.34.1
