{ (char *) "need_reschedule", CONTEXT_NEED_RESCHEDULE },
{ (char *) "migratable", CONTEXT_MIGRATABLE },
{ (char *) "callstack-kernel", CONTEXT_CALLSTACK_KERNEL },
{ (char *) "need_reschedule", CONTEXT_NEED_RESCHEDULE },
{ (char *) "migratable", CONTEXT_MIGRATABLE },
{ (char *) "callstack-kernel", CONTEXT_CALLSTACK_KERNEL },