msg_dat           328 arch/alpha/kernel/sys_marvel.c 	u16 msg_dat;
msg_dat           344 arch/alpha/kernel/sys_marvel.c 		pci_read_config_word(dev, msi_loc + msi_data_off, &msg_dat);
msg_dat           346 arch/alpha/kernel/sys_marvel.c 		irq = msg_dat & 0x1ff;		/* we use msg_data<8:0> */
msg_dat           357 arch/alpha/kernel/sys_marvel.c 		       msg_dat);