static int do_seclvl_advance(int newlvl) 
static void do_seclvl_advance(void *data, u64 val) 
static int do_seclvl_advance(int newlvl){	if (newlvl <= seclvl) {		seclvl_printk(1, KERN_WARNING, "Cannot advance to seclvl "			      "[%d]\n", newlvl);		return -EINVAL;	}	if (newlvl > 2) {		seclvl_printk(1, KERN_WARNING, "Cannot advance to seclvl "			      "[%d]\n", newlvl);		return -EINVAL;	}	if (seclvl == -1) {		seclvl_printk(1, KERN_WARNING, "Not allowed to advance to "			      "seclvl [%d]\n", seclvl);		return -EPERM;	}	seclvl = newlvl;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5a73c308754e27829c94544e010f133019cbd432/seclvl.c/clean/security/seclvl.c