#ifndef __FPU_H__ #define __FPU_H__ #include "types.h" void fpu(Uint32 opcode); #endif