XENA_dev_config_t *bar0 = (XENA_dev_config_t *) nic->bar0; 
XENA_dev_config_t __iomem *bar0 = nic->bar0; 
static int s2io_verify_pci_mode(nic_t *nic){	XENA_dev_config_t *bar0 = (XENA_dev_config_t *) nic->bar0;	register u64 val64 = 0;	int     mode;	val64 = readq(&bar0->pci_mode);	mode = (u8)GET_PCI_MODE(val64);	if ( val64 & PCI_MODE_UNKNOWN_MODE)		return -1;      /* Unknown PCI mode */	return mode;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/509a2671a445345d917d8828b2cb3f5743af6093/s2io.c/buggy/drivers/net/s2io.c