|
@@ -72,6 +72,7 @@ static void init_intel_pdc(struct acpi_processor *pr, struct cpuinfo_x86 *c)
|
|
|
return;
|
|
|
}
|
|
|
|
|
|
+
|
|
|
/* Initialize _PDC data based on the CPU vendor */
|
|
|
void arch_acpi_processor_init_pdc(struct acpi_processor *pr)
|
|
|
{
|
|
@@ -85,3 +86,15 @@ void arch_acpi_processor_init_pdc(struct acpi_processor *pr)
|
|
|
}
|
|
|
|
|
|
EXPORT_SYMBOL(arch_acpi_processor_init_pdc);
|
|
|
+
|
|
|
+void arch_acpi_processor_cleanup_pdc(struct acpi_processor *pr)
|
|
|
+{
|
|
|
+ if (pr->pdc) {
|
|
|
+ kfree(pr->pdc->pointer->buffer.pointer);
|
|
|
+ kfree(pr->pdc->pointer);
|
|
|
+ kfree(pr->pdc);
|
|
|
+ pr->pdc = NULL;
|
|
|
+ }
|
|
|
+}
|
|
|
+
|
|
|
+EXPORT_SYMBOL(arch_acpi_processor_cleanup_pdc);
|