Symbol: to_spmi_device