xref: /linux-6.15/drivers/xen/cpu_hotplug.c (revision 8a94b4ea)