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);