Searched refs:switch_kcb (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/include/
H A Dkcb.h103 static inline void switch_kcb(struct kcb *next) function
/barrelfish-master/kernel/arch/x86_64/
H A Dirq.c430 switch_kcb(k);
896 switch_kcb(kcb_current->next);
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c376 switch_kcb(k);
/barrelfish-master/kernel/
H A Dsyscall.c805 printk(LOG_NOTE, "calling switch_kcb!\n");
808 switch_kcb(next);

Completed in 39 milliseconds