PiDevCfgFreeMigrationContext

VOID __stdcall PiDevCfgFreeMigrationContext(_PI_DEVCFG_MIGRATION_CONTEXT *MigrationContext){
  __int64 v2; 
  __int64 v3; 
  __int64 v4; 
  __int64 v5; 

  if( *(_QWORD *)MigrationContext )
  {
    v2 = *((_QWORD *)MigrationContext + 3);
    if( v2 )
      ZwClose(v2);
    v3 = *((_QWORD *)MigrationContext + 2);
    if( v3 )
      ZwClose(v3);
    v4 = *((_QWORD *)MigrationContext + 4);
    if( v4 )
      ZwClose(v4);
    v5 = *((_QWORD *)MigrationContext + 1);
    if( v5 )
      ZwClose(v5);
    ZwClose(*(_QWORD *)MigrationContext);
  }
}

Referenced by:

PiDevCfgInitMigrationContext
PiDevCfgMigrateDevice