00001 #if !defined(__L4VMM_INCLUDE_VMM_EXC_H__) 00002 #define __L4VMM_INCLUDE_VMM_EXC_H__ 00003 00004 // 00005 // L4 includes 00006 // 00007 #include <l4/sys/types.h> 00008 00009 EXTERN_C_BEGIN 00010 00017 extern const l4_threadid_t l4vmm_exc_l4rm_id; 00018 00025 extern const l4_threadid_t l4vmm_exc_pager_id; 00026 00027 EXTERN_C_END 00028 00029 #endif 00030 00031 // ***** end of source ***** // 00032