Lines Matching defs:kcb
36 struct kcb {
37 bool is_valid; ///< kcb has been initialized by a kernel before
39 /// kcb scheduling ring.
40 /// These fields point to the next and previous kcb that should be
43 /// invariant: next is the next kcb in the ring and prev is the previous
44 /// kcb in the ring
45 struct kcb *next, *prev;
65 //needs to be signed because it's possible to migrate a kcb onto a cpu
66 //driver whose kernel_now > this kcb's kernel_off.
75 extern struct kcb *kcb_current;
76 ///< flag that indicates whether kcb scheduling should happen
81 printk(LOG_DEBUG, "kcb contents:\n");
96 static inline void switch_kcb(struct kcb *next)
105 void kcb_add(struct kcb* new_kcb);
106 errval_t kcb_remove(struct kcb *to_remove);
107 void kcb_update_core_id(struct kcb *kcb);