iPXE
null_acpi.c
Go to the documentation of this file.
1 #include <ipxe/acpi.h>
2 
ACPI data structures.
userptr_t acpi_find_rsdt(void)
Locate ACPI root system description table.
PROVIDE_ACPI_INLINE(null, acpi_find_rsdt)