The DrInit PCL from sys.dev.sel uses sys.dr_position()
to highlight the last selected device.
The code from that PCL follows:
sys.dev_name = sys.sel_device;
sys.dr_position(sys.dev_name,POS_LEQ);
sys.dev_name = "";
sys.dr_init(sys.device,S_DEVNAME,MATCH_PARTIAL);
Notice that sys.dev_name must be intialized with a value before
calling sys.dr_position().
Unfortunately, sometimes it needs to be reset afterward.