T284: make kernel message on occupied destination slot for LMP debug(SUBSYS_DISPATCH...
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 19 Sep 2016 09:24:27 +0000 (11:24 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 21 Sep 2016 09:48:56 +0000 (11:48 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel/dispatch.c

index ebbc65f..b19dc41 100644 (file)
@@ -286,7 +286,7 @@ static errval_t lmp_transfer_cap(struct capability *ep, struct dcb *send,
 
     /* Is destination empty */
     if (recv_cte->cap.type != ObjType_Null) {
-        printk(LOG_NOTE, "%s: dest slot occupied\n", __FUNCTION__);
+        debug(SUBSYS_DISPATCH, "%s: dest slot occupied\n", __FUNCTION__);
         return SYS_ERR_LMP_CAPTRANSFER_DST_SLOT_OCCUPIED;
     }