__int64 __fastcall HalAllocateCommonBufferWithBounds(
__int64 a1,
_LARGE_INTEGER *a2,
_LARGE_INTEGER *a3,
UINT64 a4,
INT8 a5,
__int64 a6,
UINT64 a7,
__int64 a8){
UINT64 PreferredNode;
__int64 v10;
v10 = 0i64;
LODWORD(PreferredNode) = a7;
HalpAllocateDomainCommonBufferInternal(*(_QWORD *)(a1 + 504), a2, a3, a4, a5, a6, PreferredNode, a8, (INT64)&v10);
return v10;
}