|
@@ -1180,6 +1180,9 @@ void fadump_cleanup(void)
|
|
init_fadump_mem_struct(&fdm,
|
|
init_fadump_mem_struct(&fdm,
|
|
be64_to_cpu(fdm_active->cpu_state_data.destination_address));
|
|
be64_to_cpu(fdm_active->cpu_state_data.destination_address));
|
|
fadump_invalidate_dump(&fdm);
|
|
fadump_invalidate_dump(&fdm);
|
|
|
|
+ } else if (fw_dump.dump_registered) {
|
|
|
|
+ /* Un-register Firmware-assisted dump if it was registered. */
|
|
|
|
+ fadump_unregister_dump(&fdm);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|