|
iPXE
|
iPXE ACPI API for EFI More...
#include <ipxe/acpi.h>#include <ipxe/uaccess.h>#include <ipxe/efi/efi.h>#include <ipxe/efi/Guid/Acpi.h>#include <ipxe/efi/efi_acpi.h>Go to the source code of this file.
Functions | |
| FILE_LICENCE (GPL2_OR_LATER_OR_UBDL) | |
| FILE_SECBOOT (PERMITTED) | |
| EFI_USE_TABLE (ACPI_10_TABLE, &rsdp, 0) | |
| static const struct acpi_rsdt * | efi_find_rsdt (void) |
| Locate ACPI root system description table. | |
| PROVIDE_ACPI (efi, acpi_find_rsdt, efi_find_rsdt) | |
| PROVIDE_ACPI_INLINE (efi, acpi_find) | |
Variables | |
| static EFI_ACPI_1_0_ROOT_SYSTEM_DESCRIPTION_POINTER * | rsdp |
| ACPI configuration table. | |
iPXE ACPI API for EFI
Definition in file efi_acpi.c.
| FILE_LICENCE | ( | GPL2_OR_LATER_OR_UBDL | ) |
| FILE_SECBOOT | ( | PERMITTED | ) |
| EFI_USE_TABLE | ( | ACPI_10_TABLE | , |
| & | rsdp, | ||
| 0 | ) |
References rsdp.
|
static |
Locate ACPI root system description table.
| rsdt | ACPI root system description table, or NULL |
Definition at line 49 of file efi_acpi.c.
Referenced by PROVIDE_ACPI().
| PROVIDE_ACPI | ( | efi | , |
| acpi_find_rsdt | , | ||
| efi_find_rsdt | ) |
References acpi_find_rsdt(), and efi_find_rsdt().
| PROVIDE_ACPI_INLINE | ( | efi | , |
| acpi_find | ) |
References acpi_find().
|
static |
ACPI configuration table.
Definition at line 41 of file efi_acpi.c.
Referenced by acpi_find(), efi_find_rsdt(), EFI_USE_TABLE(), PROVIDE_ACPI(), PROVIDE_ACPI_INLINE(), and rsdp_find_rsdt_range().