2574 static int sens_write(void *vkey, void *datum, void *ptr)  in sens_write()  argument
2576 	char *key = vkey;  in sens_write()
2602 static int cat_write(void *vkey, void *datum, void *ptr)  in cat_write()  argument
2604 	char *key = vkey;  in cat_write()
2715 static int perm_write(void *vkey, void *datum, void *fp)  in perm_write()  argument
2717 	char *key = vkey;  in perm_write()
2737 static int common_write(void *vkey, void *datum, void *ptr)  in common_write()  argument
2739 	char *key = vkey;  in common_write()
2832 static int class_write(void *vkey, void *datum, void *ptr)  in class_write()  argument
2834 	char *key = vkey;  in class_write()
2920 static int role_write(void *vkey, void *datum, void *ptr)  in role_write()  argument
2922 	char *key = vkey;  in role_write()
2959 static int type_write(void *vkey, void *datum, void *ptr)  in type_write()  argument
2961 	char *key = vkey;  in type_write()
3000 static int user_write(void *vkey, void *datum, void *ptr)  in user_write()  argument
3002 	char *key = vkey;  in user_write()