Lines Matching defs:kcb
37 struct kcb {
38 bool is_valid; ///< kcb has been initialized by a kernel before
40 /// kcb scheduling ring.
41 /// These fields point to the next and previous kcb that should be
44 /// invariant: next is the next kcb in the ring and prev is the previous
45 /// kcb in the ring
46 struct kcb *next, *prev;
66 //needs to be signed because it's possible to migrate a kcb onto a cpu
67 //driver whose kernel_now > this kcb's kernel_off.
79 STATIC_ASSERT(sizeof(struct kcb) <= OBJSIZE_KCB, "struct kcb too big");
82 extern struct kcb *kcb_current;
83 ///< flag that indicates whether kcb scheduling should happen
88 printk(LOG_DEBUG, "kcb contents:\n");
103 static inline void switch_kcb(struct kcb *next)
112 void kcb_add(struct kcb* new_kcb);
113 errval_t kcb_remove(struct kcb *to_remove);
114 void kcb_update_core_id(struct kcb *kcb);