dev/acpica/acpi_cpu.c

29 __FBSDID("$FreeBSD: stable/11/sys/dev/acpica/acpi_cpu.c 357656 2020-02-07 15:27:57Z mav $");
45 #include <dev/pci/pcivar.h>
55 #include <contrib/dev/acpica/include/acpi.h>
56 #include <contrib/dev/acpica/include/accommon.h>
58 #include <dev/acpica/acpivar.h>
170 static int	acpi_cpu_probe(device_t dev);
171 static int	acpi_cpu_attach(device_t dev);
172 static int	acpi_cpu_suspend(device_t dev);
173 static int	acpi_cpu_resume(device_t dev);
174 static int	acpi_pcpu_get_id(device_t dev, uint32_t *acpi_id,
176 static struct resource_list *acpi_cpu_get_rlist(device_t dev, device_t child);
177 static device_t	acpi_cpu_add_child(device_t dev, u_int order, const char *name,
179 static int	acpi_cpu_read_ivar(device_t dev, device_t child, int index,
181 static int	acpi_cpu_shutdown(device_t dev);
239 acpi_cpu_probe(device_t dev)
251     type = acpi_get_type(dev);
255 	ACPI_ID_PROBE(device_get_parent(dev), dev, cpudev_ids) == NULL)
258     handle = acpi_get_handle(dev);
269 	    device_printf(dev, "probe failed to get Processor obj - %s\n",
275 	    device_printf(dev, "Processor object has bad type %d\n",
291 	    device_printf(dev, "Device object has bad value - %s\n",
296     if (acpi_pcpu_get_id(dev, &acpi_id, &cpu_id) != 0)
308     acpi_set_private(dev, (void*)(intptr_t)cpu_id);
309     device_set_desc(dev, "ACPI CPU");
315 acpi_cpu_attach(device_t dev)
336     sc = device_get_softc(dev);
337     sc->cpu_dev = dev;
338     sc->cpu_handle = acpi_get_handle(dev);
339     cpu_id = (int)(intptr_t)acpi_get_private(dev);
342     pcpu_data->pc_device = dev;
347     if (acpi_get_type(dev) == ACPI_TYPE_PROCESSOR) {
352 	    device_printf(dev, "attach failed to get Processor obj - %s\n",
362 	KASSERT(acpi_get_type(dev) == ACPI_TYPE_DEVICE,
366 	    device_printf(dev, "Device object has bad value - %s\n",
374 		     device_get_unit(dev), sc->cpu_p_blk, sc->cpu_p_blk_len));
380     if (device_get_unit(dev) == 0) {
385 	acpi_sc = acpi_device_get_parent_softc(dev);
428 		device_printf(dev, "_OSC returned status %#x\n", cap_set[0]);
526 acpi_cpu_suspend(device_t dev)
530     error = bus_generic_suspend(dev);
533     disable_idle(device_get_softc(dev));
538 acpi_cpu_resume(device_t dev)
541     enable_idle(device_get_softc(dev));
542     return (bus_generic_resume(dev));
554 acpi_pcpu_get_id(device_t dev, uint32_t *acpi_id, uint32_t *cpu_id)
561     idx = device_get_unit(dev);
592 		    device_printf(dev,
594 			acpi_name(acpi_get_handle(dev)), *acpi_id,
604 	    acpi_name(acpi_get_handle(dev)), *acpi_id);
610 acpi_cpu_get_rlist(device_t dev, device_t child)
621 acpi_cpu_add_child(device_t dev, u_int order, const char *name, int unit)
631     child = device_add_child_ordered(dev, order, name, unit);
640 acpi_cpu_read_ivar(device_t dev, device_t child, int index, uintptr_t *result)
644     sc = device_get_softc(dev);
667 acpi_cpu_shutdown(device_t dev)
672     bus_generic_shutdown(dev);
677     disable_idle(device_get_softc(dev));