HalpWdatInitializeWdat

NTSTATUS __fastcall HalpWdatInitializeWdat(__int64 a1){
  _DWORD *v1; 
  __int64 v2; 
  NTSTATUS result; 

  v1 = *(_DWORD **)(a1 + 8);
  v2 = 0i64;
  *(_DWORD *)(a1 + 16) = v1[13];
  *(_DWORD *)(a1 + 20) = v1[14];
  *(_DWORD *)(a1 + 24) = v1[12];
  *(_DWORD *)(a1 + 44) = v1[16];
  for( result = 0; (unsigned int)v2 < v1[16]; v2 = (unsigned int)(v2 + 1) )
  {
    result = WdInstrInitializeInstruction(
               (_WD_INSTRUCTION *)(((unsigned __int64)(unsigned int)v2 << 6) + a1 + 48),
               v1[6 * v2 + 17],
               BYTE1(v1[6 * v2 + 17]),
               (_GEN_ADDR *)&v1[6 * v2 + 18]);
    if( result < 0 )
      break;
  }
  return result;
}

Referenced by: