1233044Stijl/*- 2233044Stijl * This file is in the public domain. 3233044Stijl */ 4233044Stijl/* $FreeBSD$ */ 5233044Stijl 6233044Stijl#include <x86/fpu.h> 7