DrvDbValidateDeviceIdName

NTSTATUS __stdcall DrvDbValidateDeviceIdName(PWCHAR DeviceId){
  const wchar_t *v1; 
  WCHAR *v2; 
  int v3; 
  WCHAR *v4; 
  size_t pcchLength; 
  v2 = (WCHAR *)v1;
  v3 = RtlUnalignedStringCchLengthW(v1, 0xC8ui64, &pcchLength);
  if( v3 < 0 )
    return -1073741773;
  v4 = wcschr(v2, 0x5Cu);
  if( v4 )
  {
    if( v4 == v2 || !v4[1] || wcschr(v4 + 1, 0x5Cu) )
      return -1073741773;
  }
  return v3;
}

Referenced by:

DrvDbDispatchDeviceId