Lines Matching full:uefi
13 it refers to are managed by the UEFI Forum. The specification is
14 available at http://www.uefi.org/specifications and documents referenced
15 by the specification can be found via http://www.uefi.org/acpi.
64 ACPI governance into the UEFI forum has significantly opened up the
125 is via the UEFI system configuration table. Just so it is explicit, this
126 means that ACPI is only supported on platforms that boot via UEFI.
140 In order for the kernel to load and use ACPI tables, the UEFI implementation
148 the kernel by the ACPI core, using the address provided by UEFI.
233 is that UEFI will leave the device in a reasonable default state, including
276 - https://www.uefi.org/sites/default/files/resources/_DSD-device-properties-UUID.pdf
278 The UEFI Forum provides a mechanism for registering device properties [4]
280 Device properties that have not been registered with the UEFI Forum should
285 as DT bindings, or the UEFI Forum as device properties. While we do not want
297 registered with the UEFI Forum [4], which will review it again for consistency
298 within the registry. This may require iteration. The UEFI Forum, though,
301 It may make sense to provide notice to the UEFI Forum that there is the
366 UEFI, in this case -- to some working value before control is handed over
453 is a part of the UEFI Forum. The current version of the ACPI specification
456 Participation in this group is open to all UEFI members. Please see
457 http://www.uefi.org/workinggroup for details on group membership.
461 the released standards from UEFI ASWG. As a practical matter, there will be
467 are not UEFI members, many other members of the Linux community are and would
509 [4] http://www.uefi.org/acpi
513 [5] http://www.uefi.org/acpi