HalpExtGetRegisteredResourceIdString

NTSTATUS __stdcall HalpExtGetRegisteredResourceIdString(
        INT64 a1,
        INT64 a2,
        INT64 ResourceId,
        INT64 a4,
        INT64 a5,
        INT64 a6,
        INT64 a7,
        INT64 a8,
        INT64 a9,
        INT64 a10,
        INT64 a11,
        INT64 a12,
        CHAR a13){
  __int64 v13; 
  UINT64 Revision; 
  UINT64 Instance; 
  UINT64 Uid; 
  UINT64 ResourceIdLength; 

  v13 = *(_QWORD *)(a1 + 24);
  LODWORD(ResourceIdLength) = 75;
  LODWORD(Uid) = *(_DWORD *)(a1 + 36);
  LOWORD(Instance) = *(_WORD *)(v13 + 18);
  LOWORD(Revision) = *(_WORD *)(v13 + 16);
  return HalpExtBuildResourceIdString(
           *(unsigned int *)(v13 + 4),
           *(unsigned int *)(v13 + 8),
           *(unsigned __int16 *)(v13 + 12),
           *(unsigned __int16 *)(v13 + 14),
           Revision,
           Instance,
           Uid,
           ResourceIdLength,
           (WCHAR *)ResourceId);
}

Referenced by: