__out_ecount
__out_ecount(buffer_length) uint32_t *buffer,
__out_ecount(buffer_length) uint32_t *buffer,
__out_ecount(buffer_length) uint32_t *buffer,
__out_ecount(4) uint16_t version[4]);
__out_ecount(count) efx_desc_t *edp,
__out_ecount(4) uint16_t version[4])
__out_ecount(count) efx_desc_t *edp,
__out_ecount(4) uint16_t version[4]);
__out_ecount(count) efx_desc_t *edp,
__out_ecount(buffer_length) uint32_t *buffer,
__out_ecount(buffer_length) uint32_t *buffer,
__out_ecount(buffer_length) uint32_t *buffer,
__out_ecount(buffer_length) uint32_t *buffer,
__out_ecount(4) uint16_t version[4],
__out_ecount(4) uint16_t version[4])
__out_ecount(4) uint16_t version[4],
__out_ecount(count) efx_desc_t *edp,
__out_ecount(npages) uint32_t *sensor_maskp,
__out_ecount((sizeof (*mask_part) * 8) - 1)
__out_ecount(4) uint16_t version[4]);
__out_ecount(4) uint16_t version[4])