srm_dev_int        92 arch/alpha/kernel/sys_cabriolet.c common_init_irq(void (*srm_dev_int)(unsigned long v))
srm_dev_int        97 arch/alpha/kernel/sys_cabriolet.c 		alpha_mv.device_interrupt = srm_dev_int;