efx_image_header_t
efx_image_header_t *header;
if (buffer_size < (EFX_FIELD_OFFSET(efx_image_header_t, eih_size) +
header = (efx_image_header_t *)bufferp;
infop->eii_headerp = (efx_image_header_t *)imagep;
__out efx_image_header_t **headerpp)
*headerpp = (efx_image_header_t *)(bufferp + chunk_hdr.offset);
efx_image_header_t * eii_headerp;
__out efx_image_header_t **headerpp);