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