usr/src/boot/sys/amd64/include/_stdint.h usr/src/boot/sys/i386/include/_stdint.h usr/src/boot/sys/sys/_stdint.h usr/src/boot/sys/x86/include/_stdint.h
