/*
 * Copyright 2021 Haiku, Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 */
#ifndef KERNEL_BOOT_PLATFORM_EFI_ARCH_ACPI_H
#define KERNEL_BOOT_PLATFORM_EFI_ARCH_ACPI_H


#include <SupportDefs.h>


void arch_handle_acpi(void);


#endif /* KERNEL_BOOT_PLATFORM_EFI_ARCH_ACPI_H */