CONTEXTS_NUM
for(j = 1; j < CONTEXTS_NUM; j++)
while(new < CONTEXTS_NUM) {
if(new == CONTEXTS_NUM)
for(i = 0; i < CONTEXTS_NUM; i++) {
static struct mm_struct *ctx_alloc[CONTEXTS_NUM] = {
static unsigned char ctx_avail = CONTEXTS_NUM-1;