freebsd-dev/sys/x86/linux
..
linux_dummy_x86.c