avc_flush         969 security/selinux/avc.c 	avc_flush(avc);
avc_flush        1230 security/selinux/avc.c 		avc_flush(selinux_state.avc);