linux/arch/x86/realmode/rm/video-bios.c

#include "../../boot/video-bios.c"