def filepath_from_devicepath (devicepath):
  if devicepath is None: return None
  devicepath = devicepath.lower ()
  for device, drive in DEVICE_DRIVES.items ():
    if devicepath.startswith (device):
      return drive % devicepath[len (device):]
  else:
    return devicepath
dataset/ETHPy150Open tjguk/winsys/random/file_handles.py/filepath_from_devicepath/operator `+` -> `%`