HardenedBSD/sys/compat/x86bios
..
x86bios.c
x86bios.h