1100882Smike/*- 2263539Semaste * This file is in the public domain. 3100882Smike */ 4263539Semaste/* $FreeBSD$ */ 5100882Smike 6263539Semaste#include <x86/_stdint.h> 7