ViDdiDispatchWmi

INT64 __stdcall ViDdiDispatchWmi(_DEVICE_OBJECT *DeviceObject, _IRP *Irp){
  char v3; 
  unsigned int v4; 
  unsigned int AllData; 
  v3 = *(_BYTE *)(*((_QWORD *)Irp + 23) + 1i64);
  if( v3 )
  {
    if( v3 != 11 )
    {
      v4 = -1073741637;
      goto LABEL_7;
    }
    AllData = ViDdiDispatchWmiRegInfoEx(DeviceObject, Irp);
  }
  else
  {
    AllData = ViDdiDispatchWmiQueryAllData(DeviceObject, Irp);
  }
  v4 = AllData;
LABEL_7:
  if( v4 == -1073741637 )
    v4 = *((_DWORD *)Irp + 12);
  else
    *((_DWORD *)Irp + 12) = v4;
  IofCompleteRequest(Irp, 0);
  return v4;
}

Referenced by: