Go to the documentation of this file.
39 #ifndef _MACHINE_FPU_INCLUDED
40 #define _MACHINE_FPU_INCLUDED
43 #ifndef _SYS_STDSYMS_INCLUDED
44 # include <sys/stdsyms.h>
46 #include <machine/pdc/pdc_rqsts.h>
49 #define PA83_FPU_FLAG 0x00000001
50 #define PA89_FPU_FLAG 0x00000002
51 #define PA2_0_FPU_FLAG 0x00000010
53 #define TIMEX_EXTEN_FLAG 0x00000004
55 #define ROLEX_EXTEN_FLAG 0x00000008
56 #define COPR_FP 0x00000080
57 #define SFU_MPY_DIVIDE 0x00008000
60 #define EM_FPU_TYPE_OFFSET 272
63 #define EMULATION_VERSION 4
71 #define ROLEX_POTENTIAL_KEY_FLAGS PDC_MODEL_CPU_KEY_WORD_TO_IO
72 #define TIMEX_POTENTIAL_KEY_FLAGS (PDC_MODEL_CPU_KEY_QUAD_STORE | \
73 PDC_MODEL_CPU_KEY_RECIP_SQRT)