cx_dev->cx_id.mfg_num, cx_dev->hubdev); 
cx_dev->cx_id.mfg_num, cx_dev->hubdev, cx_dev->bt); 
static int cx_device_reload(struct cx_dev *cx_dev){	cx_device_unregister(cx_dev);	return cx_device_register(cx_dev->cx_id.nasid, cx_dev->cx_id.part_num,				  cx_dev->cx_id.mfg_num, cx_dev->hubdev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/25732ad493b22b7d9f0d250c5a9ad17219f96a47/tiocx.c/buggy/arch/ia64/sn/kernel/tiocx.c