device_pid_len property

Implementation

@Uint32()
external int device_pid_len;