Go to the documentation of this file.
30 #include <linux/types.h>
31 #include <linux/string.h>
41 #define CFE_EPTSEAL 0x43464531
43 #define CFE_MI_RESERVED 0
44 #define CFE_MI_AVAILABLE 1
46 #define CFE_FLG_WARMSTART 0x00000001
47 #define CFE_FLG_FULL_ARENA 0x00000001
48 #define CFE_FLG_ENV_PERMANENT 0x00000001
50 #define CFE_CPU_CMD_START 1
51 #define CFE_CPU_CMD_STOP 0
53 #define CFE_STDHANDLE_CONSOLE 0
55 #define CFE_DEV_NETWORK 1
56 #define CFE_DEV_DISK 2
57 #define CFE_DEV_FLASH 3
58 #define CFE_DEV_SERIAL 4
60 #define CFE_DEV_NVRAM 6
61 #define CFE_DEV_CLOCK 7
62 #define CFE_DEV_OTHER 8
63 #define CFE_DEV_MASK 0x0F
65 #define CFE_CACHE_FLUSH_D 1
66 #define CFE_CACHE_INVAL_I 2
67 #define CFE_CACHE_INVAL_D 4
68 #define CFE_CACHE_INVAL_L2 8
70 #define CFE_FWI_64BIT 0x00000001
71 #define CFE_FWI_32BIT 0x00000002
72 #define CFE_FWI_RELOC 0x00000004
73 #define CFE_FWI_UNCACHED 0x00000008
74 #define CFE_FWI_MULTICPU 0x00000010
75 #define CFE_FWI_FUNCSIM 0x00000020
76 #define CFE_FWI_RTLSIM 0x00000040