intena            475 kernel/proc.c    int intena;
intena            487 kernel/proc.c    intena = mycpu()->intena;
intena            489 kernel/proc.c    mycpu()->intena = intena;
intena             26 kernel/proc.h    int intena;                 // Were interrupts enabled before push_off()?
intena             98 kernel/spinlock.c     mycpu()->intena = old;
intena            111 kernel/spinlock.c   if(c->noff == 0 && c->intena)