/*-
 * This file is in the public domain.
 *
 * $FreeBSD$
 */
#ifndef _MACHINE_FPU_H_
#define	_MACHINE_FPU_H_

#endif /* !_MACHINE_FPU_H_ */