Files: /kernel/core-api/cpu_hotplug.html