type smcinvoke_device, dev_type;