Lines Matching defs:cfe_xint_t
89 typedef int64_t cfe_xint_t;
107 cfe_xint_t enum_idx; /* 0-based enumeration index */
109 cfe_xint_t name_length; /* size of name buffer */
111 cfe_xint_t val_length; /* size of value string buffer */
124 cfe_xint_t ticks; /* current time in ticks */
128 cfe_xint_t status;
132 cfe_xint_t mi_idx; /* 0-based enumeration index */
133 cfe_xint_t mi_type; /* type of memory block */
139 cfe_xint_t fwi_version; /* major, minor, eco version */
140 cfe_xint_t fwi_totalmem; /* total installed mem */
141 cfe_xint_t fwi_flags; /* various flags */
142 cfe_xint_t fwi_boardid; /* board ID */
143 cfe_xint_t fwi_bootarea_va; /* VA of boot area */
144 cfe_xint_t fwi_bootarea_pa; /* PA of boot area */
145 cfe_xint_t fwi_bootarea_size; /* size of boot area */
146 cfe_xint_t fwi_reserved1;
147 cfe_xint_t fwi_reserved2;
148 cfe_xint_t fwi_reserved3;
153 cfe_xint_t xiocb_status; /* return status */
154 cfe_xint_t xiocb_handle; /* file/device handle */