00001 /*****************************************************************************/ 00002 #ifndef __L4UTIL__INCLUDE__MEMDESC_H__ 00003 #define __L4UTIL__INCLUDE__MEMDESC_H__ 00004 00005 #include <l4/sys/linkage.h> 00006 #include <l4/sys/types.h> 00007 00010 EXTERN_C_BEGIN 00018 L4_CV l4_addr_t l4util_memdesc_vm_high(void); 00019 00020 EXTERN_C_END 00021 00022 #endif /* ! __L4UTIL__INCLUDE__MEMDESC_H__ */