headers/private/kernel/boot/platform/generic/video.h src/system/boot/platform/amiga_m68k/video.h src/system/boot/platform/atari_m68k/video.h src/system/boot/platform/bios_ia32/video.h src/system/boot/platform/efi/video.h src/system/boot/platform/next_m68k/video.h src/system/boot/platform/riscv/video.h src/system/boot/platform/u-boot/video.h
