Use generated OBJSIZE_* constants instead of hard-coded values.
authorMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Thu, 13 Oct 2016 12:41:44 +0000 (14:41 +0200)
committerMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Thu, 13 Oct 2016 12:42:28 +0000 (14:42 +0200)
commitcc0a348431b0e2b8c8d522ae17eac0e120eadc90
treee337a41116ed5f0f5f946dc6416ea806b03978e0
parent556959823d84c26f3e82c69efc73cd854669d06d
Use generated OBJSIZE_* constants instead of hard-coded values.

This requires more cleanup of code that still requires sizes in bits, e.g.
the memory server.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
include/barrelfish_kpi/capabilities.h
kernel/cap_delete.c
kernel/capabilities.c
kernel/startup.c
lib/barrelfish/capabilities.c
tools/asmoffsets/asmoffsets.c
usr/drivers/cpuboot/common.c
usr/init/mem_alloc.c
usr/mem_serv/mem_serv.c
usr/mem_serv_dist/mem_serv.h