src/core/null_acpi.c

#include <ipxe/acpi.h>

PROVIDE_ACPI_INLINE ( null, acpi_find_rsdt );