PipDmgDestroyIommuExtension

VOID __fastcall PipDmgDestroyIommuExtension(INT64 a1){
  void *v2; 
  v2 = *(void **)(a1 + 720);
  if( v2 )
  {
    PiIommuFreeExtension(v2);
    *(_QWORD *)(a1 + 720) = 0i64;
  }
}

Referenced by: