cfe_xint_t
cfe_readblk(int handle, cfe_xint_t offset, unsigned char *buffer, int length)
cfe_writeblk(int handle, cfe_xint_t offset, unsigned char *buffer, int length)
cfe_xint_t enum_idx; /* 0-based enumeration index */
cfe_xint_t name_length; /* size of name buffer */
cfe_xint_t val_length; /* size of value string buffer */
cfe_xint_t ticks; /* current time in ticks */
cfe_xint_t status;
cfe_xint_t mi_idx; /* 0-based enumeration index */
cfe_xint_t mi_type; /* type of memory block */
cfe_xint_t fwi_version; /* major, minor, eco version */
cfe_xint_t fwi_totalmem; /* total installed mem */
cfe_xint_t fwi_flags; /* various flags */
cfe_xint_t fwi_boardid; /* board ID */
cfe_xint_t fwi_bootarea_va; /* VA of boot area */
cfe_xint_t fwi_bootarea_pa; /* PA of boot area */
cfe_xint_t fwi_bootarea_size; /* size of boot area */
cfe_xint_t fwi_reserved1;
cfe_xint_t fwi_reserved2;
cfe_xint_t fwi_reserved3;
cfe_xint_t xiocb_status; /* return status */
cfe_xint_t xiocb_handle; /* file/device handle */