int_mask0 532 arch/alpha/kernel/core_mcpcia.c unsigned int int_mask0; int_mask0 562 arch/alpha/kernel/core_mcpcia.c printk(" INT_MASK0 = %8x\n", iodpp->int_mask0);