#ifndef __RTL_FPU_H__
#define __RTL_FPU_H__


typedef int RTL_FPU_CONTEXT [28];

#endif