avc_policy_seqno
tsec->avdcache.seqno = avc_policy_seqno();
tsec->avdcache.seqno != avc_policy_seqno())) {
fsec->pseqno == avc_policy_seqno())
fsec->pseqno = avc_policy_seqno();
u32 avc_policy_seqno(void);
tsec->avdcache.seqno == avc_policy_seqno());