00001 #ifndef __MONITOR_H__ 00002 #define __MONITOR_H__ 00003 00004 void mon_init(void); 00005 void mon_smc(void); 00006 void mon_enter_hyp(void); 00007 00008 #endif