device_record()

* = device_record( dev_id)

Returns information about the device.

e.g.:
* = device_record( t1)
for local devices: name T1 device TIMER module DGG2 base 0x1000 channel 0
for Tango devices: name T1 device TIMER module DGG2 server //node:10000/bw4/exp/t1