HalpWheaInitSystem

NTSTATUS __stdcall HalpWheaInitSystem(
        _HAL_INIT_PHASE HalPhase,
        _LOADER_PARAMETER_BLOCK *LoaderBlock,
        _LOADER_PARAMETER_BLOCK *a3){
  int v3; 
  _LOADER_PARAMETER_BLOCK *v4; 

  if( HalpInterruptModel() != 1 )
    return 0;
  switch( v3 )
  {
    case 19:
LABEL_7:
      HalpMcaInitializePcrContext();
      return 0;
    case 12:
      HalpWheaInitDiscard(v4);
      return 0;
    case 17:
      off_140C006C8[0] = (__int64(__fastcall *)())HalpReadWheaPhysicalMemory;
      off_140C006D0[0] = (__int64(__fastcall *)())HalpWriteWheaPhysicalMemory;
      goto LABEL_7;
  }
  return 0;
}

Referenced by: