headers/private/kernel/boot/platform/amiga_m68k/platform_kernel_args.h headers/private/kernel/boot/platform/atari_m68k/platform_kernel_args.h headers/private/kernel/boot/platform/bios_ia32/platform_kernel_args.h headers/private/kernel/boot/platform/efi/platform_kernel_args.h headers/private/kernel/boot/platform/openfirmware/platform_kernel_args.h headers/private/kernel/boot/platform/pxe_ia32/platform_kernel_args.h headers/private/kernel/boot/platform/routerboard_mipsel/platform_kernel_args.h headers/private/kernel/boot/platform/u-boot/platform_kernel_args.h src/tests/system/boot/loader/platform_kernel_args.h
