xref: /linux-6.15/drivers/xen/cpu_hotplug.c (revision 19fbd6b2)