2785 static int sens_write(void *vkey, void *datum, void *ptr)  in sens_write()  argument
2787 	char *key = vkey;  in sens_write()
2813 static int cat_write(void *vkey, void *datum, void *ptr)  in cat_write()  argument
2815 	char *key = vkey;  in cat_write()
2932 static int perm_write(void *vkey, void *datum, void *fp)  in perm_write()  argument
2934 	char *key = vkey;  in perm_write()
2954 static int common_write(void *vkey, void *datum, void *ptr)  in common_write()  argument
2956 	char *key = vkey;  in common_write()
3049 static int class_write(void *vkey, void *datum, void *ptr)  in class_write()  argument
3051 	char *key = vkey;  in class_write()
3134 static int role_write(void *vkey, void *datum, void *ptr)  in role_write()  argument
3136 	char *key = vkey;  in role_write()
3173 static int type_write(void *vkey, void *datum, void *ptr)  in type_write()  argument
3175 	char *key = vkey;  in type_write()
3214 static int user_write(void *vkey, void *datum, void *ptr)  in user_write()  argument
3216 	char *key = vkey;  in user_write()