T288: Remove references to DEFAULT_CNODE_BITS and derived values.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 21 Sep 2016 14:51:46 +0000 (16:51 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 21 Sep 2016 14:51:54 +0000 (16:51 +0200)
commit06f04c7748dd3419d8285930f9ab6d25702d5486
tree645c5624e9290d0a5d96fb754aab40fff7b39b45
parentf904b66ffb491f016920bc2037348501beee2bda
T288: Remove references to DEFAULT_CNODE_BITS and derived values.

Closes T288.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/barrelfish_kpi/init.h
lib/barrelfish/slot_alloc/slot_alloc.c
lib/mm/slot_alloc.c
lib/spawndomain/spawn.c
usr/mem_serv/mem_serv.c