Index: src/wasm/wasm-module.h |
diff --git a/src/wasm/wasm-module.h b/src/wasm/wasm-module.h |
index bfedbff61fb720e5c66da75fa5ed300544e19a63..91ae91c287d53db356bea138a7becf2e15efb464 100644 |
--- a/src/wasm/wasm-module.h |
+++ b/src/wasm/wasm-module.h |
@@ -421,6 +421,9 @@ int32_t GrowWebAssemblyMemory(Isolate* isolate, |
int32_t GrowMemory(Isolate* isolate, Handle<WasmInstanceObject> instance, |
uint32_t pages); |
+void DetachWebAssemblyMemoryBuffer(Isolate* isolate, |
+ Handle<JSArrayBuffer> buffer); |
+ |
void UpdateDispatchTables(Isolate* isolate, Handle<FixedArray> dispatch_tables, |
int index, Handle<JSFunction> js_function); |