staging: gasket: fix gasket_free_coherent_memory metadata frees

Free gasket_coherent_page_entries metadata memory, update data
structures accordingly.

Signed-off-by: Nick Ewalt <nicholasewalt@google.com>
Signed-off-by: Todd Poynor <toddpoynor@google.com>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>

diff --git a/drivers/staging/gasket/gasket_page_table.c b/drivers/staging/gasket/gasket_page_table.c
index 33d98043953a5bf4de328d14290cfbe32609d743..c1ce8f984f8e0a4c1ed9f5abf9795d1425773f2f 100644 (file)
--- a/drivers/staging/gasket/gasket_page_table.c
+++ b/drivers/staging/gasket/gasket_page_table.c
@@ -1353,6 +1353,11 @@ int gasket_free_coherent_memory(struct gasket_dev *gasket_dev, u64 size,
                gasket_dev->coherent_buffer.virt_base = NULL;
                gasket_dev->coherent_buffer.phys_base = 0;
        }
+
+       kfree(gasket_dev->page_table[index]->coherent_pages);
+       gasket_dev->page_table[index]->coherent_pages = NULL;
+       gasket_dev->page_table[index]->num_coherent_pages = 0;
+
        return 0;
 }