arch_dtb_set_kernel_args - Haiku

Symbol: arch_dtb_set_kernel_args

headers/private/kernel/boot/platform/efi/arch_dtb.h

void arch_dtb_set_kernel_args(void);

src/system/boot/platform/efi/dtb.cpp

arch_dtb_set_kernel_args();