Searched refs:context_switch (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/kernel/arch/x86_64/
H A Ddispatch.c25 void context_switch(struct dcb *dcb) function
/barrelfish-master/kernel/arch/armv7/
H A Ddispatch.c27 context_switch(struct dcb *dcb) { function
64 * generic context_switch path/
/barrelfish-master/kernel/arch/armv8/
H A Ddispatch.c27 context_switch(struct dcb *dcb) { function
/barrelfish-master/kernel/arch/x86_32/
H A Ddispatch.c26 context_switch(struct dcb *dcb) { function
61 * generic context_switch path/
/barrelfish-master/kernel/include/
H A Ddispatch.h72 void context_switch(struct dcb *dcb);
/barrelfish-master/kernel/
H A Ddispatch.c78 context_switch(dcb);

Completed in 256 milliseconds