void store_xmsi_data(nic_t *nic) 
static void store_xmsi_data(nic_t *nic) 
void store_xmsi_data(nic_t *nic){	XENA_dev_config_t *bar0 = (XENA_dev_config_t *) nic->bar0;	u64 val64, addr, data;	int i;	/* Store and display */	for (i=0; i< MAX_REQUESTED_MSI_X; i++) {		val64 = (BIT(15) | vBIT(i, 26, 6));		writeq(val64, &bar0->xmsi_access);		if (wait_for_msix_trans(nic, i)) {			DBG_PRINT(ERR_DBG, "failed in %s\n", __FUNCTION__);			continue;		}		addr = readq(&bar0->xmsi_address);		data = readq(&bar0->xmsi_data);		if (addr && data) {			nic->msix_info[i].addr = addr;			nic->msix_info[i].data = data;		}	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ac1f60db6a62c8605b551497c8002ba267ea1f4a/s2io.c/buggy/drivers/net/s2io.c