HalpVpptInitializePhysicalTimer

INT64 __stdcall HalpVpptInitializePhysicalTimer(){
  INT64 v0; 
  void *v1; 
  __int64 v2; 
  __int64 v3; 
  unsigned int v4; 
  unsigned __int64 v5; 
  unsigned int v6; 
  byte_140C4A478 = HalpAcquireHighLevelLock(&qword_140C4A470);
  if( (ULONG_PTR *)HalpVpptQueue != &HalpVpptQueue )
    ExtEnvCriticalFailure(v0, 0x115ui64, HalpVpptPhysicalTimer, (ULONG_PTR)&HalpVpptQueue, 0i64);
  LODWORD(HalpVpptPhysicalTimerTarget) = -1;
  HalpTimerGetInternalData((KDPC *)HalpVpptPhysicalTimer, (PVOID)HalpVpptPhysicalTimer, v1, &HalpVpptQueue);
  v4 = (*(__int64(__fastcall **)(__int64))(v2 + 104))(v3);
  v5 = (unsigned __int8)byte_140C4A478;
  v6 = v4;
  KxReleaseSpinLock(&qword_140C4A470);
  __writecr8(v5);
  return v6;
}

Referenced by: