HalpWheaInitSystem

INT64 __fastcall HalpWheaInitSystem(
        _HAL_INIT_PHASE HalPhase,
        UINT64 ProcessorNumber,
        _LOADER_PARAMETER_BLOCK *LoaderBlock){
  int v3; 
  _LOADER_PARAMETER_BLOCK *v4; 
  if( (unsigned int)HalpInterruptModel() != 1 )
    return 0i64;
  switch( v3 )
  {
    case 19:
LABEL_7:
      HalpMcaInitializePcrContext();
      return 0i64;
    case 12:
      HalpWheaInitDiscard(v4);
      return 0i64;
    case 17:
      off_140C006C8[0] = (__int64(__fastcall *)())HalpReadWheaPhysicalMemory;
      off_140C006D0[0] = (__int64(__fastcall *)())HalpWriteWheaPhysicalMemory;
      goto LABEL_7;
  }
  return 0i64;
}

Referenced by: