freebsd-dev/sys/compat/x86bios
..
x86bios_alloc.c
x86bios.c
x86bios.h