root/sys/arch/shark/include/ieee.h 
/*      $NetBSD: ieee.h,v 1.1 2002/02/10 01:57:16 thorpej Exp $ */

#include <arm/ieee.h>