intena            493 kernel/proc.c    int intena;
intena            505 kernel/proc.c    intena = mycpu()->intena;
intena            507 kernel/proc.c    mycpu()->intena = intena;
intena             26 kernel/proc.h    int intena;                 // Were interrupts enabled before push_off()?
intena             95 kernel/spinlock.c     mycpu()->intena = old;
intena            108 kernel/spinlock.c   if(c->noff == 0 && c->intena)