On 10/03/2026 5:53 pm, Bjorn Helgaas wrote: > - Split the x86 part to a separate patch and maybe (a tangent, but > looks dubious to me) figure out whether/why xen needs xen_vcpu_id > to be ACPI CPU IDs
This is an unfortunate mess made decades ago with no good solution. It's to do with how Xen and dom0 share responsibility for the system. Xen PV dom0 (only, but still widely in use; ring-deprivileging and predates hardware virt) is OSPM for the whole system, seeing the real ACPI tables but with a number of vCPUs generally less than the whole system. This causes Linux to have a split idea of what CPUs are, held together by hope and duct tape. Xen PVH dom0 (hardware virt) is OSPM, but has an MADT matching it's vCPU layout. It still sees the system DSDT/etc, so while this is better from Linux's point of view, it's still not great. Regular unprivileged VMs get a fully coherent set of CPUID + ACPI tables. ~Andrew
