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
treed7c7806a71191661bd268a537f72dffb23b9360a
parentcb81d569532f306e11610285f27d3195ee6f6f95
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