In newer versions of xen (at least from 4.3) the xenctl_cpumap structure has been renamed to the more generic xenctl_bitmap.
Thus the file
src/HALVMCore/Hypervisor/Structures/CPUMap.hsc
does not build. This can be resolved by replacing all occurrences of xenctl_cpumap in that file to xenctl_bitmap, and replacing the peeks and pokes of nr_cpus to nr_bits.
In newer versions of xen (at least from 4.3) the xenctl_cpumap structure has been renamed to the more generic xenctl_bitmap.
Thus the file
does not build. This can be resolved by replacing all occurrences of xenctl_cpumap in that file to xenctl_bitmap, and replacing the peeks and pokes of nr_cpus to nr_bits.