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
treecb56293f83d7c72160714f7dd3ce9986ab01d664
parent6e794c94b0588b3e9648c9b62575481a8b5b5c51
libbarrelfish: make cap deletion in memobj_destroy_anon() optional

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/barrelfish/memobj.h
lib/barrelfish/vspace/memobj_anon.c
lib/barrelfish/vspace/utils.c
usr/acpi/acpica_osglue.c