static ssize_t store_cxdev_control(struct device *dev, const char *buf, 
static ssize_t store_cxdev_control(struct device *dev, struct device_attribute *attr, const char *buf, 
static ssize_t store_cxdev_control(struct device *dev, const char *buf,				   size_t count){	int n;	struct cx_dev *cx_dev = to_cx_dev(dev);	if (!capable(CAP_SYS_ADMIN))		return -EPERM;	if (count <= 0)		return 0;	n = simple_strtoul(buf, NULL, 0);	switch (n) {	case 1:		tiocx_reload(cx_dev);		break;	case 3:		tio_corelet_reset(cx_dev->cx_id.nasid, TIOCX_CORELET);		break;	default:		break;	}	return count;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ff381d2223a30ee70752791fd9c3588d8f1cab77/tiocx.c/clean/arch/ia64/sn/kernel/tiocx.c