SiIsValidDiskDevice

UINT8 __stdcall SiIsValidDiskDevice(WCHAR *DeviceName, WCHAR *ObjectType){
  WCHAR *v4; 
  WCHAR v5; 
  int v7; 

  if( wcsicmp(ObjectType, L"Directory") && wcsicmp(ObjectType, L"SymbolicLink") )
    return 0;
  if( wcsnicmp(DeviceName, L"Harddisk", 8u) )
    return 0;
  v4 = DeviceName + 8;
  v5 = DeviceName[8];
  if( !v5 )
    return 0;
  if( v5 != 48 )
  {
    v7 = 0;
    while( (unsigned __int16)(v5 - 48) <= 9u )
    {
      if( (unsigned int)++v7 > 0xA )
        break;
      v5 = *++v4;
      if( !*v4 )
        return 1;
    }
    return 0;
  }
  return !DeviceName[9];
}

Referenced by:

SiGetEfiSystemDevice