HalpTimerBuildKnownResourceIdString

NTSTATUS __fastcall HalpTimerBuildKnownResourceIdString(__int64 a1, int a2, WCHAR *ResourceId){
  UINT64 Revision; 
  UINT64 Instance; 
  UINT64 Uid; 
  UINT64 ResourceIdLength; 

  LODWORD(ResourceIdLength) = a2;
  LODWORD(Uid) = *(_DWORD *)(a1 + 140);
  LOWORD(Instance) = 0;
  LOWORD(Revision) = 1;
  return HalpExtBuildResourceIdString(
           0x5446534Dui64,
           0i64,
           0x4100ui64,
           *(unsigned __int16 *)(a1 + 136),
           Revision,
           Instance,
           Uid,
           ResourceIdLength,
           ResourceId);
}

Referenced by:

HalpInitializeTimers
HalpTimerRegister