usr/src/boot/sys/amd64/include/specialreg.h usr/src/boot/sys/i386/include/specialreg.h usr/src/boot/sys/x86/include/specialreg.h usr/src/compat/bhyve/amd64/machine/specialreg.h
