1241675Suqs/*- 2241675Suqs * This file is in the public domain. 3241675Suqs */ 4241675Suqs/* $FreeBSD$ */ 5241675Suqs 6241675Suqs#include <x86/_inttypes.h> 7241675Suqs