Lines Matching defs:kcb
137 errval_t err = oct_get_names(&names, &len, "r'kcb\\.[0-9]+'");
221 struct capref kcb;
222 err = create_or_get_kcb_cap(target_id, &kcb);
248 urpc_frame_id, kcb);
274 struct capref kcb;
275 err = create_or_get_kcb_cap(target_id, &kcb);
302 urpc_frame_id, kcb);
346 struct capref kcb;
347 errval_t err = create_or_get_kcb_cap(target_id, &kcb);
361 err = give_kcb_to_new_core(destination_id, kcb);
372 DEBUG("%s:%s:%d: Stopping kcb.%s\n", __FILE__,
377 struct capref kcb;
378 errval_t err = create_or_get_kcb_cap(target_id, &kcb);
384 // send message to monitor to be relocated -> don't switch kcb ->
385 // remove kcb from ring -> msg ->
386 // (disp_save_rm_kcb -> next/home/... kcb -> enable switching)
388 err = mc->rpc_tx_vtbl.forward_kcb_rm_request(mc, target_id, kcb, &ret_err);
403 err = give_kcb_to_new_core(destination_id, kcb);
435 urpc_frame_id, kcb);
500 "Give kcb from one core to another.",