00001
00025 #include <rtai_config.h>
00026
00027 #ifdef __cplusplus
00028 extern "C" {
00029 #endif
00030
00031 #if CONFIG_RTAI_HW_SMI_DETECT && CONFIG_RTAI_HW_SMI_WORKAROUND
00032
00033 void rthal_smi_disable(void);
00034
00035 void rthal_smi_restore(void);
00036
00037 #else
00038
00039 #define rthal_smi_disable()
00040
00041 #define rthal_smi_restore()
00042
00043 #endif
00044
00045 #if CONFIG_RTAI_HW_SMI_DETECT
00046
00047 void rthal_smi_init(void);
00048
00049 #else
00050
00051 #define rthal_smi_init()
00052
00053 #endif
00054
00055 #ifdef __cplusplus
00056 }
00057 #endif