projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2fa561c) | patch
tools/ocaml: Fix stubs the introduction of domain_create.cpupool_id
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 17 May 2022 19:13:50 +0000 (20:13 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 18 May 2022 14:05:18 +0000 (15:05 +0100)
commitc8040aefe66edb9a9f9a54cc0541a77b4103c9f9
treeb406e908e61236cf956186dbe21b4ac6a4238ccbtree | snapshot
parent2fa561c5d3317bb4b0d6b476800ff9ac281aab3ccommit | diff
tools/ocaml: Fix stubs the introduction of domain_create.cpupool_id

Sadly, cpupool IDs are chosen by the caller, not assigned sequentially, so
this does need to have a full 32 bits of range.

Also leave a BUILD_BUG_ON() to catch more obvious ABI changes in the future.

Fixes: 92ea9c54fc81 ("arm/dom0less: assign dom0less guests to cpupools")
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
tools/ocaml/libs/xc/xenctrl.ml diff | blob | history
tools/ocaml/libs/xc/xenctrl.mli diff | blob | history
tools/ocaml/libs/xc/xenctrl_stubs.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.