HalGetDmaDomain

__int64 __fastcall HalGetDmaDomain(__int64 a1){
  return *(_QWORD *)(a1 + 504);
}

Referenced by: