Symbol: sdei_do_local_call