get_context
#define kernel_context() get_context(); set_context(0)
saved_ctx = get_context();
saved_ctx = get_context();
if (get_context() != 0) {
saved_ctx = get_context();
if (pmap->pm_ctxnum != get_context()) {
saved_ctx = get_context();
saved_ctx = get_context();
if (pmap->pm_ctxnum != get_context()) {
saved_ctx = get_context();
saved_ctx = get_context();
saved_ctx = get_context();
old_ctx = get_context();
old_ctx = get_context();
if (pmap->pm_ctxnum != get_context())
old_ctx = get_context();
old_ctx = get_context();
old_ctx = get_context();
if (pmap->pm_ctxnum != get_context())
old_ctx = get_context();
saved_ctx = get_context();
saved_ctx = get_context();
saved_ctx = get_context();
saved_ctx = get_context();
saved_ctx = get_context();
saved_ctx = get_context();
old_ctx = get_context();
int old_ctx = get_context();
saved_ctxnum = get_context();
state->saved_ctx = get_context();
int get_context(void);
saved_ctx = get_context();
saved_ctx = get_context();
if (get_context() != 0) {
if (pmap->pm_ctxnum != get_context()) {
if (pmap->pm_ctxnum != get_context()) {
old_ctx = get_context();
if (pmap->pm_ctxnum != get_context())
old_ctx = get_context();
old_ctx = get_context();
if (pmap->pm_ctxnum != get_context())
old_ctx = get_context();
saved_ctxnum = get_context();
int get_context(void);