xref: /titanic_54/usr/src/boot/sys/amd64/include/_stdint.h (revision c46ce95d700ddd3b3564fc387c299ce3ef3b2250) 
1 /*-
2  * This file is in the public domain.
3  */
4 /* $FreeBSD$ */
5 
6 #include <x86/_stdint.h>
7