iPXE
null_acpi.c
Go to the documentation of this file.
00001 #include <ipxe/acpi.h>
00002 
00003 PROVIDE_ACPI_INLINE ( null, acpi_find_rsdt );