INT64 __fastcall HalAllocateDomainCommonBufferThin(
INT64 a1,
INT64 a2,
INT64 *a3,
UINT64 a4,
CHAR a5,
INT64 a6,
UINT64 a7,
INT64 a8,
INT64 a9){
UINT64 IdealNode;
LODWORD(IdealNode) = a7;
return HalpAllocateCommonBufferThin(*(PVOID *)(a1 + 504), 0i64, a3, a4, a5, a6, IdealNode, a8, a9);
}