if ((nasid & 0x1) && is_fpga_brick(nasid)) { 
if ((nasid & 0x1) && is_fpga_tio(nasid, &bt)) { 
static int __init tiocx_init(void){	cnodeid_t cnodeid;	int found_tiocx_device = 0;	if (!ia64_platform_is("sn2"))		return -ENODEV;	bus_register(&tiocx_bus_type);	for (cnodeid = 0; cnodeid < MAX_COMPACT_NODES; cnodeid++) {		nasid_t nasid;		if ((nasid = cnodeid_to_nasid(cnodeid)) < 0)			break;	/* No more nasids .. bail out of loop */		if ((nasid & 0x1) && is_fpga_brick(nasid)) {			struct hubdev_info *hubdev;			struct xwidget_info *widgetp;			DBG("Found TIO at nasid 0x%x\n", nasid);			hubdev =			    (struct hubdev_info *)(NODEPDA(cnodeid)->pdinfo);			widgetp = &hubdev->hdi_xwidget_info[TIOCX_CORELET];			/* The CE hangs off of the CX port but is not an FPGA */			if (widgetp->xwi_hwid.part_num == TIO_CE_ASIC_PARTNUM)				continue;			tio_corelet_reset(nasid, TIOCX_CORELET);			tio_conveyor_enable(nasid);			if (cx_device_register			    (nasid, widgetp->xwi_hwid.part_num,			     widgetp->xwi_hwid.mfg_num, hubdev) < 0)				return -ENXIO;			else				found_tiocx_device++;		}	}	/* It's ok if we find zero devices. */	DBG("found_tiocx_device= %d\n", found_tiocx_device);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/25732ad493b22b7d9f0d250c5a9ad17219f96a47/tiocx.c/buggy/arch/ia64/sn/kernel/tiocx.c