Barrelfish
|
Kernel control block declarations. More...
Data Structures | |
struct | kcb |
The kernel control block. More... | |
Variables | |
struct kcb * | kcb_current |
flag that indicates whether kcb scheduling should happen | |
Kernel control block declarations.