haiku/headers/private/kernel/boot/platform/efi
David Karoly 023a36024d boot/efi: introduce arch_dtb
Change-Id: Iff9e4198aca706097889faf51e9559fe551126ad
Reviewed-on: https://review.haiku-os.org/c/haiku/+/4782
Tested-by: Commit checker robot <no-reply+buildbot@haiku-os.org>
Reviewed-by: Alex von Gluck IV <kallisti5@unixzen.com>
2022-01-05 16:22:35 +00:00
..
arch_dtb.h
arch_mmu.h
arch_smp.h
arch_start.h
arch_timer.h
platform_kernel_args.h
platform_stage2_args.h