INT64 __fastcall HalAllocateCommonBufferWithBounds(
INT64 a1,
LARGE_INTEGER *a2,
LARGE_INTEGER *a3,
UINT64 a4,
CHAR a5,
INT64 a6,
UINT64 a7,
INT64 a8){
UINT64 v9;
INT64 v10;
v10 = 0i64;
LODWORD(v9) = a7;
HalpAllocateDomainCommonBufferInternal(*(PVOID *)(a1 + 504), a2, a3, a4, a5, a6, v9, a8, (INT64)&v10);
return v10;
}