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