Lines Matching refs:cfe_xint_t
72 typedef int64_t cfe_xint_t; typedef
90 cfe_xint_t enum_idx; /* 0-based enumeration index */
92 cfe_xint_t name_length; /* size of name buffer */
94 cfe_xint_t val_length; /* size of value string buffer */
107 cfe_xint_t ticks; /* current time in ticks */
111 cfe_xint_t status;
115 cfe_xint_t mi_idx; /* 0-based enumeration index */
116 cfe_xint_t mi_type; /* type of memory block */
122 cfe_xint_t fwi_version; /* major, minor, eco version */
123 cfe_xint_t fwi_totalmem; /* total installed mem */
124 cfe_xint_t fwi_flags; /* various flags */
125 cfe_xint_t fwi_boardid; /* board ID */
126 cfe_xint_t fwi_bootarea_va; /* VA of boot area */
127 cfe_xint_t fwi_bootarea_pa; /* PA of boot area */
128 cfe_xint_t fwi_bootarea_size; /* size of boot area */
129 cfe_xint_t fwi_reserved1;
130 cfe_xint_t fwi_reserved2;
131 cfe_xint_t fwi_reserved3;
136 cfe_xint_t xiocb_status; /* return status */
137 cfe_xint_t xiocb_handle; /* file/device handle */