projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb81d56) | patch
vspace_mmu_aware: fixed edge case in assertions.
authorSimon Gerber <simon.gerber@hp.com>
Tue, 22 Jul 2014 01:05:57 +0000 (18:05 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 09:28:13 +0000 (11:28 +0200)
commit69e41f4006fc14f8be3cf02ee2609c9a8b33bdcb
treed7c7806a71191661bd268a537f72dffb23b9360atree | snapshot
parentcb81d569532f306e11610285f27d3195ee6f6f95commit | diff
vspace_mmu_aware: fixed edge case in assertions.

Assertions didn't allow freeing the region starting at offset zero in the
vregion.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
lib/barrelfish/vspace/mmu_aware.c diff | blob | history
Barrelfish OS git repo