haiku/headers/private/kernel/boot/platform/pxe_ia32
..
bios_drive.h
platform_kernel_args.h
platform_stage2_args.h