cx_dev->cx_id.part_num, cx_dev->cx_id.mfg_num); 
cx_dev->cx_id.part_num, cx_dev->cx_id.mfg_num, tiocx_btchar_get(cx_dev->cx_id.nasid)); 
static ssize_t show_cxdev_control(struct device *dev, char *buf){	struct cx_dev *cx_dev = to_cx_dev(dev);	return sprintf(buf, "0x%x 0x%x 0x%x\n",		       cx_dev->cx_id.nasid,		       cx_dev->cx_id.part_num, cx_dev->cx_id.mfg_num);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ce0a3956b32650e229b68964c4400bbdc5ad3ca1/tiocx.c/buggy/arch/ia64/sn/kernel/tiocx.c