Gets the device name, given the UCB address of the device.

    Format

      int sda$get_device_name (VOID_PQ ucb_addr, char *name_buf, int

      name_len);