1100882Smike/*- 2232264Stijl * This file is in the public domain. 3100882Smike */ 4232264Stijl/* $FreeBSD$ */ 5100882Smike 6232264Stijl#include <x86/_stdint.h> 7