1/* 2 * Copyright 2021 Haiku, Inc. All rights reserved. 3 * Distributed under the terms of the MIT License. 4 */ 5#ifndef KERNEL_BOOT_PLATFORM_EFI_ARCH_DTB_H 6#define KERNEL_BOOT_PLATFORM_EFI_ARCH_DTB_H 7 8 9#include <SupportDefs.h> 10 11 12void arch_handle_fdt(const void* fdt, int node); 13void arch_dtb_set_kernel_args(void); 14 15 16#endif /* KERNEL_BOOT_PLATFORM_EFI_ARCH_DTB_H */ 17