Lines Matching +full:co +full:- +full:processors

1 # SPDX-License-Identifier: GPL-2.0
19 	  Linux requires an ACPI-compliant platform (hardware/firmware),
20 	  and assumes the presence of OS-directed configuration and power
26 	  the Plug-and-Play BIOS specification (PnP BIOS), the 
36 	  ACPI is an open industry specification originally co-developed by
37 	  Hewlett-Packard, Intel, Microsoft, Phoenix, and Toshiba. Currently,
72 	  Enable in-kernel debugging of AML facilities: statistics,
130 	  This option enables a DMI-based quirk for the above Dell machine (so
192 	  performs user-defined actions such as shutting down the system.
193 	  This is necessary for software-controlled poweroff.
243 	  This driver supports ACPI fan devices, allowing user-mode
265 	  This driver supports ACPI-controlled docking stations and removable
305 	  by several flavors of cpufreq performance-state, thermal, throttling and
334 	  processors in the platform. Currently only logical processor idling
383 	  See Documentation/admin-guide/acpi/initrd_table_override.rst for details
386 	bool "Override ACPI tables from built-in initrd"
391 	  from built-in uncompressed initrd.
393 	  See Documentation/admin-guide/acpi/initrd_table_override.rst for details
401 	  Use the acpi.debug_layer and acpi.debug_level kernel command-line
402 	  parameters documented in Documentation/firmware-guide/acpi/debug.rst and
403 	  Documentation/admin-guide/kernel-parameters.rst to control the type and
471 	bool "Hardware-reduced ACPI support only" if EXPERT
499 	  processor machine check banks. Most server processors log
606 	  The Power Management Timer is available on all ACPI-capable,