Symbol: smp_device_t