projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e794c9) | patch
libbarrelfish: make cap deletion in memobj_destroy_anon() optional
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 15 Dec 2016 09:38:35 +0000 (10:38 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 15 Dec 2016 14:38:06 +0000 (15:38 +0100)
commit9364103f6277ea717989ce70a01362482f9028e3
treecb56293f83d7c72160714f7dd3ce9986ab01d664tree | snapshot
parent6e794c94b0588b3e9648c9b62575481a8b5b5c51commit | diff
libbarrelfish: make cap deletion in memobj_destroy_anon() optional

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/barrelfish/memobj.h diff | blob | history
lib/barrelfish/vspace/memobj_anon.c diff | blob | history
lib/barrelfish/vspace/utils.c diff | blob | history
usr/acpi/acpica_osglue.c diff | blob | history
Barrelfish OS git repo