khypervisor  v1
monitor.h
Go to the documentation of this file.
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
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines