49545b3891a7
8770e9db97d0
1
2
3
4
5
6
/*- * This file is in the public domain. */ /* $FreeBSD$ */ #include <x86/_stdint.h>