Index: AlarmMgmt.h
===================================================================
diff -u -r15a8d5ff98b2d88bd0f32a37b41f4eec0f7a7088 -r190f8e74913110e57f0e315cfd6279830afc6619
--- AlarmMgmt.h	(.../AlarmMgmt.h)	(revision 15a8d5ff98b2d88bd0f32a37b41f4eec0f7a7088)
+++ AlarmMgmt.h	(.../AlarmMgmt.h)	(revision 190f8e74913110e57f0e315cfd6279830afc6619)
@@ -108,8 +108,10 @@
 
 void initAlarmMgmt( void );
 
+#if defined(__ALARM_MGMT_C__) || defined(__ALARM_MGMT_DD_C__) || defined(__ALARM_MGMT_TD_C__) || defined(__ALARM_MGMT_RO_C__)
 ALARM_T getAlarmProperties( ALARM_ID_T alarm );
 ALARM_RANK_T getAlarmRank( U32 index );
+#endif
 
 void activateAlarm( ALARM_ID_T alarm );
 void clearAlarm( ALARM_ID_T alarm );