device_pid property

Pointer<Char> device_pid
getter/setter pair

Implementation

external Pointer<Char> device_pid;