diff options
Diffstat (limited to 'lib/genode/alloc.nim')
| -rw-r--r-- | lib/genode/alloc.nim | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/genode/alloc.nim b/lib/genode/alloc.nim index 3ddd3074b..24fb9954e 100644 --- a/lib/genode/alloc.nim +++ b/lib/genode/alloc.nim @@ -15,7 +15,7 @@ when not defined(genode): {.error: "Genode only module".} when not declared(GenodeEnv): - include genode/env + import genode/env type RamDataspaceCapability {. importcpp: "Genode::Ram_dataspace_capability", pure.} = object @@ -111,7 +111,7 @@ proc osDeallocPages(p: pointer; size: int) = if m.attachment == p: if m.size != size: echo "cannot partially detach dataspace" - quit -1 + rawQuit -1 runtimeEnv.detachAddress m.attachment runtimeEnv.freeDataspace m.ds m[] = Map() |