__int64 __fastcall HalpDmaAllocateScatterPagesFromScatterPoolAtHighLevel(__int64 a1){
INT64 v1;
UINT64 v2;
UINT64 *v3;
INT64 v4;
if( (unsigned int)HalpDmaGetAdapterVersion(a1) == 2 )
return HalpDmaAllocateScatterPagesFromScatterPoolAtHighLevelV2(v1, v4, v2, v3);
else
return HalpDmaAllocateScatterPagesFromScatterPoolAtHighLevelV3(v1, v4, v2, (unsigned int *)v3);
}