CTL_IENABLE        34 arch/nios2/kernel/irq.c 	WRCTL(CTL_IENABLE, ienable);
CTL_IENABLE        40 arch/nios2/kernel/irq.c 	WRCTL(CTL_IENABLE, ienable);
CTL_IENABLE        79 arch/nios2/kernel/irq.c 	ienable = RDCTL(CTL_IENABLE);