00001 #ifndef __L4_SIGMA0_KIP_H 00002 #define __L4_SIGMA0_KIP_H 00003 00004 #include <l4/sys/kernel.h> 00005 #include <l4/sys/compiler.h> 00006 00007 EXTERN_C_BEGIN 00008 00009 #define L4SIGMA0_KIP_VERSION_FIASCO 0x87004444 00010 #define L4SIGMA0_KIP_VERSION_FIASCO_MASK 0xff00ffff 00011 00022 L4_CV l4_kernel_info_t *l4sigma0_kip(void); 00023 00032 L4_CV int l4sigma0_kip_map_to(l4_threadid_t pager, void *addr); 00033 00044 L4_CV l4_kernel_info_t *l4sigma0_kip_map(l4_threadid_t pager); 00045 00052 L4_CV void l4sigma0_kip_unmap(void); 00053 00063 L4_CV l4_umword_t l4sigma0_kip_version(void); 00064 00074 L4_CV const char *l4sigma0_kip_version_string(void); 00075 00085 L4_CV int l4sigma0_kip_kernel_is_ux(void); 00086 00098 L4_CV int l4sigma0_kip_kernel_has_feature(const char *str); 00099 00106 L4_CV unsigned long l4sigma0_kip_kernel_abi_version(void); 00107 00108 EXTERN_C_END 00109 00117 #define l4sigma0_kip_for_each_feature(s) \ 00118 for (s += strlen(s) + 1; *s; s += strlen(s) + 1) 00119 00120 #endif /* ! __L4_SIGMA0_H */
1.5.6