Symbol: ef4_farch_filter_get_rx_ids