Symbol: update_receiver_timing_details