Symbol: efx_farch_filter_count_rx_used