EFX_EV_BATCH
efx_qword_t ev[EFX_EV_BATCH];
batch = EFX_EV_BATCH - (count & (EFX_EV_BATCH - 1));
EFSYS_ASSERT(batch <= EFX_EV_BATCH);
batch += (EFX_EV_BATCH << 1);