2579 static int sens_write(void *vkey, void *datum, void *ptr)  in sens_write()  argument
2581 	char *key = vkey;  in sens_write()
2607 static int cat_write(void *vkey, void *datum, void *ptr)  in cat_write()  argument
2609 	char *key = vkey;  in cat_write()
2720 static int perm_write(void *vkey, void *datum, void *fp)  in perm_write()  argument
2722 	char *key = vkey;  in perm_write()
2742 static int common_write(void *vkey, void *datum, void *ptr)  in common_write()  argument
2744 	char *key = vkey;  in common_write()
2837 static int class_write(void *vkey, void *datum, void *ptr)  in class_write()  argument
2839 	char *key = vkey;  in class_write()
2925 static int role_write(void *vkey, void *datum, void *ptr)  in role_write()  argument
2927 	char *key = vkey;  in role_write()
2964 static int type_write(void *vkey, void *datum, void *ptr)  in type_write()  argument
2966 	char *key = vkey;  in type_write()
3005 static int user_write(void *vkey, void *datum, void *ptr)  in user_write()  argument
3007 	char *key = vkey;  in user_write()