consts.h
00001 #if !defined(__L4VMM_INCLUDE_CONSTS_H__)
00002 #define __L4VMM_INCLUDE_CONSTS_H__
00003
00004
00005
00006
00007 #include <l4/sys/compiler.h>
00008
00009 EXTERN_C_BEGIN
00010
00016 enum l4vmm_config_flags_constants
00017 {
00024 L4VMM_USE_L4IO = 0x00000001,
00025
00031 L4VMM_LIST_L4IO = 0x00000002,
00032
00038 L4VMM_CACHE_PHYS_TO_VIRT = 0x00000004,
00039
00046 L4VMM_UNUSED_PORT_WARNING = 0x00000008,
00047
00053 L4VMM_INVALID_INSTRUCTION_WARNING = 0x00000010,
00054
00060 L4VMM_INIT_STRING_FILE = 0x10000000,
00061
00068 L4VMM_INIT_STRING_DATA = 0x20000000,
00069
00076 L4VMM_INIT_ALLOW_FLAG_OVERRIDE = 0x40000000,
00077
00083 L4VMM_DEFAULT_FLAGS = L4VMM_USE_L4IO | L4VMM_UNUSED_PORT_WARNING |
00084 L4VMM_INIT_ALLOW_FLAG_OVERRIDE,
00085
00091 L4VMM_ALL_MASK = L4VMM_USE_L4IO | L4VMM_LIST_L4IO | L4VMM_CACHE_PHYS_TO_VIRT |
00092 L4VMM_UNUSED_PORT_WARNING | L4VMM_INVALID_INSTRUCTION_WARNING |
00093 L4VMM_INIT_STRING_FILE | L4VMM_INIT_STRING_DATA |
00094 L4VMM_INIT_ALLOW_FLAG_OVERRIDE | L4VMM_DEFAULT_FLAGS
00095 };
00096
00103 enum l4vmm_emulation_modes
00104 {
00110 L4VMM_MODE_DEFAULT = 0x00,
00111
00117 L4VMM_MODE_X86_REAL = 0x01,
00118
00124 L4VMM_MODE_X86_PROTECTED16 = 0x11,
00125
00131 L4VMM_MODE_X86_PROTECTED32 = 0x12,
00132
00138 L4VMM_MODE_X86_PROTECTED64 = 0x14
00139 };
00140
00141 EXTERN_C_END
00142
00143 #endif
00144
00145
00146