1100882Smike/*- 2232264Stijl * This file is in the public domain. 3100882Smike */ 4232264Stijl/* $FreeBSD: releng/10.3/sys/i386/include/_stdint.h 232264 2012-02-28 18:38:33Z tijl $ */ 5100882Smike 6232264Stijl#include <x86/_stdint.h> 7