| /* SPDX-License-Identifier: GPL-2.0-only */ |
| |
| #include <console/console.h> |
| #include <acpi/acpi.h> |
| #include <acpi/acpigen.h> |
| #include <device/device.h> |
| #include "i82371eb.h" |
| |
| void generate_cpu_entries(const struct device *device) |
| { |
| int cpu, pcontrol_blk=DEFAULT_PMBASE+PCNTRL, plen=6; |
| int numcpus = dev_count_cpu(); |
| printk(BIOS_DEBUG, "Found %d CPU(s).\n", numcpus); |
| |
| /* without the outer scope, further ssdt addition will end up |
| * within the processor statement */ |
| acpigen_write_scope("\\_SB"); |
| for (cpu=0; cpu < numcpus; cpu++) { |
| acpigen_write_processor(cpu, pcontrol_blk, plen); |
| acpigen_pop_len(); |
| } |
| acpigen_pop_len(); |
| } |