INT64 __fastcall HalpDmaAllocateContiguousPagesFromContiguousPoolAtHighLevel(INT64 a1){
__int64 v1;
ULONG v2;
__int64 v3;
if( (unsigned int)HalpDmaGetAdapterVersion(a1) == 2 )
return HalpDmaAllocateContiguousPagesFromContiguousPoolAtHighLevelV2(v1, v3, v2);
else
return HalpDmaAllocateContiguousPagesFromContiguousPoolAtHighLevelV3(v1, v3, v2);
}