PfHardFaultRecord

UINT64 __fastcall PfHardFaultRecord(INT64 a1, INT64 a2, INT64 a3, INT64 a4, INT64 a5, INT64 a6){
  UINT64 result; 
  *(_QWORD *)(a1 + 32) = a2;
  *(_QWORD *)(a1 + 40) = a4;
  *(_QWORD *)(a1 + 48) = *(_QWORD *)(a5 + 24);
  *(_DWORD *)(a1 + 56) = *(_DWORD *)(a6 + 1152);
  *(_DWORD *)(a1 + 60) = a3;
  *(_OWORD *)a1 = 0i64;
  result = (unsigned int)dword_140CEBED4;
  if( (dword_140CEBED4 & 1) != 0 )
  {
    result = KUSER_SHARED_DATA.TickCountQuad;
    *(_QWORD *)(a1 + 64) = KUSER_SHARED_DATA.TickCountQuad;
  }
  else
  {
    *(_QWORD *)(a1 + 64) = 0i64;
  }
  return result;
}

Referenced by:

MiIssueHardFault