Symbol: __smi_check_forward_dr_smp