1  /* SPDX-License-Identifier: GPL-2.0-only */
 2  
 3  #include <device/device.h>
 4  #include <console/console.h>
 5  #include <stddef.h>
 6  
 7  struct device *add_cpu_device(struct bus *cpu_bus, unsigned int apic_id,
 8  			      int enabled)
 9  {
10  	struct device_path cpu_path = {};
11  	struct device *cpu;
12  
13  	/* Build the CPU device path */
14  	cpu_path.type = DEVICE_PATH_APIC;
15  	cpu_path.apic.apic_id = apic_id;
16  	cpu_path.apic.initial_lapicid = apic_id;
17  
18  	/* Update CPU in devicetree. */
19  	if (enabled)
20  		cpu = alloc_find_dev(cpu_bus, &cpu_path);
21  	else
22  		cpu = find_dev_path(cpu_bus, &cpu_path);
23  	if (!cpu)
24  		return NULL;
25  
26  	cpu->enabled = enabled;
27  	printk(BIOS_DEBUG, "CPU: %s %s\n",
28  		dev_path(cpu), cpu->enabled?"enabled":"disabled");
29  
30  	return cpu;
31  }