INT64 __fastcall HalAllocateDomainCommonBuffer(
__int64 a1,
__int64 a2,
unsigned __int64 *a3,
UINT64 a4,
char a5,
_DWORD *a6,
unsigned int a7,
unsigned __int64 *a8,
_QWORD *a9){
UINT64 a7a;
LODWORD(a7a) = a7;
return HalpAllocateDomainCommonBufferInternal(
*(PVOID *)(a1 + 504),
0i64,
(LARGE_INTEGER *)a3,
a4,
a5,
(INT64)a6,
a7a,
(INT64)a8,
(INT64)a9);
}