Lines Matching refs:BIOS

40 or with the help of platform firmware, such as an ACPI BIOS.  In the first
143 For this purpose the ACPI BIOS provides special functions called "control
147 stored in the machine's BIOS.  The kernel loads them from the BIOS and executes
149 computations and memory or I/O space accesses.  This way, in theory, a BIOS
157 only be used to handle devices that the BIOS writer knew about in advance.  The
212 and event sources is recorded in the system's ACPI BIOS from where it can be
215 If a PCI device known to the system's ACPI BIOS signals wakeup, the GPE
219 example, native PCI PMEs from devices unknown to the system's ACPI BIOS may be
257 ACPI BIOS to release control of root port configuration registers.  The ACPI
258 BIOS, however, is not required to allow the kernel to control these registers
340 the help of the platform firmware, such as the ACPI BIOS.  If that is the case,
870 make any assumption on the previous state of the device, even if the BIOS (or