include/types.h

00001 #if !defined(__L4VMM_INCLUDE_TYPES_H__)
00002 #define __L4VMM_INCLUDE_TYPES_H__
00003 
00004 //
00005 // L4 includes
00006 //
00007 #include <l4/sys/compiler.h>
00008 #include <l4/sys/l4int.h>
00009 
00010 //
00011 // L4vmm includes
00012 //
00013 #include <l4/vmm/consts.h>
00014 
00015 EXTERN_C_BEGIN
00016 
00017 //
00018 // typedefs
00019 //
00025 typedef l4_uint16_t l4_port_t;
00026 
00027 //
00028 // structs
00029 //
00036 typedef struct l4vmm_config
00037 {
00041     unsigned flags;
00042 
00046     enum l4vmm_emulation_modes mode;
00047 
00054     const char *string;
00055 
00060     L4_CV l4_addr_t (*phys_to_virt_func)(l4_addr_t);
00061 } l4vmm_config_t;
00062 
00063 EXTERN_C_END
00064 
00065 #endif
00066 
00067 // ***** end of source ***** //
00068