kernel: fix object creation for KCB.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 15 Jun 2015 09:17:00 +0000 (11:17 +0200)
committerMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Tue, 16 Jun 2015 11:37:41 +0000 (13:37 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel/capabilities.c

index f90a3a0..1499042 100644 (file)
@@ -801,7 +801,7 @@ static errval_t caps_create(enum objtype type, lpaddr_t lpaddr, uint8_t bits,
         for(size_t i = 0; i < numobjs; i++) {
             // Initialize type specific fields
             src_cap.u.kernelcontrolblock.kcb = (struct kcb *)
-                (lvaddr + i * (1UL << OBJBITS_DISPATCHER));
+                (lvaddr + i * (1UL << OBJBITS_KCB));
             // Insert the capability
             err = set_cap(&dest_caps[i].cap, &src_cap);
             if (err_is_fail(err)) {