00001 #ifndef __MONITOR_PRIVATE_H__ 00002 #define __MONITOR_PRIVATE_H__ 00003 00004 void __mon_enter_hyp(void); 00005 void __mon_install_guest(void); 00006 #endif