Lines Matching defs:kcb
136 errval_t err = oct_get_names(&names, &len, "r'kcb\\.[0-9]+'");
220 struct capref kcb;
221 err = create_or_get_kcb_cap(target_id, &kcb);
247 urpc_frame_id, kcb);
269 struct capref kcb;
270 err = create_or_get_kcb_cap(target_id, &kcb);
297 urpc_frame_id, kcb);
337 struct capref kcb;
338 errval_t err = create_or_get_kcb_cap(target_id, &kcb);
352 err = give_kcb_to_new_core(destination_id, kcb);
363 DEBUG("%s:%s:%d: Stopping kcb.%s\n", __FILE__,
368 struct capref kcb;
369 errval_t err = create_or_get_kcb_cap(target_id, &kcb);
375 // send message to monitor to be relocated -> don't switch kcb ->
376 // remove kcb from ring -> msg ->
377 // (disp_save_rm_kcb -> next/home/... kcb -> enable switching)
379 err = mc->rpc_tx_vtbl.forward_kcb_rm_request(mc, target_id, kcb, &ret_err);
394 err = give_kcb_to_new_core(destination_id, kcb);
426 urpc_frame_id, kcb);
491 "Give kcb from one core to another.",