device_name property

Pointer<Char> device_name
getter/setter pair

Implementation

external Pointer<Char> device_name;