Extent -> Ehooks: Move destroy hook.

2019-12-03 12:05:18 -08:00
parent bac8e2e5a6
commit 5459ec9dae
3 changed files with 31 additions and 32 deletions
@@ -89,3 +89,17 @@ ehooks_default_dalloc(extent_hooks_t *extent_hooks, void *addr, size_t size,
    bool committed, unsigned arena_ind) {
 	return ehooks_default_dalloc_impl(addr, size);
 }
+
+void
+ehooks_default_destroy_impl(void *addr, size_t size) {
+	if (!have_dss || !extent_in_dss(addr)) {
+		pages_unmap(addr, size);
+	}
+}
+
+void
+ehooks_default_destroy(extent_hooks_t *extent_hooks, void *addr, size_t size,
+    bool committed, unsigned arena_ind) {
+	ehooks_default_destroy_impl(addr, size);
+}
+