HalpIommuFreeDeviceId

VOID __fastcall HalpIommuFreeDeviceId(INT64 a1){
  HalpMmAllocCtxFree(a1, a1);
}

Referenced by: