2623 static int sens_write(void *vkey, void *datum, void *ptr)  in sens_write()  argument
2625 	char *key = vkey;  in sens_write()
2651 static int cat_write(void *vkey, void *datum, void *ptr)  in cat_write()  argument
2653 	char *key = vkey;  in cat_write()
2764 static int perm_write(void *vkey, void *datum, void *fp)  in perm_write()  argument
2766 	char *key = vkey;  in perm_write()
2786 static int common_write(void *vkey, void *datum, void *ptr)  in common_write()  argument
2788 	char *key = vkey;  in common_write()
2881 static int class_write(void *vkey, void *datum, void *ptr)  in class_write()  argument
2883 	char *key = vkey;  in class_write()
2969 static int role_write(void *vkey, void *datum, void *ptr)  in role_write()  argument
2971 	char *key = vkey;  in role_write()
3008 static int type_write(void *vkey, void *datum, void *ptr)  in type_write()  argument
3010 	char *key = vkey;  in type_write()
3049 static int user_write(void *vkey, void *datum, void *ptr)  in user_write()  argument
3051 	char *key = vkey;  in user_write()