T153: avoid code duplication when setting slot allocator
authorReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 14 Aug 2015 06:30:44 +0000 (08:30 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 14 Aug 2015 06:30:44 +0000 (08:30 +0200)
commit639eb9fb8d82368b1238196839eaa966a72230c2
treead23fdfbfb7a4faeff4e60cfab5977ca23453e63
parent6fb0b87fb58832ec0af2c48b54905bc13605bb4a
T153: avoid code duplication when setting slot allocator

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
lib/barrelfish/vspace/mmu_aware.c