int_mask1         533 arch/alpha/kernel/core_mcpcia.c 	  unsigned int int_mask1;
int_mask1         563 arch/alpha/kernel/core_mcpcia.c 	  printk("  INT_MASK1   = %8x\n", iodpp->int_mask1);