185892Smike/*- 2217157Stijl * This file is in the public domain. 385892Smike */ 4217157Stijl/* $FreeBSD$ */ 585892Smike 6217157Stijl#include <x86/_inttypes.h> 7