Symbol: efx_nic_eventq_read_ack