avc_ss_reset       13 security/selinux/include/avc_ss.h int avc_ss_reset(struct selinux_avc *avc, u32 seqno);
avc_ss_reset      178 security/selinux/selinuxfs.c 			avc_ss_reset(state->avc, 0);
avc_ss_reset     2140 security/selinux/ss/services.c 		avc_ss_reset(state->avc, seqno);
avc_ss_reset     2221 security/selinux/ss/services.c 	avc_ss_reset(state->avc, seqno);
avc_ss_reset     2897 security/selinux/ss/services.c 		avc_ss_reset(state->avc, seqno);