Lines Matching refs:u32
53 u32 ssid;
54 u32 tsid;
56 u32 requested;
57 u32 audited;
58 u32 denied;
68 static inline u32 avc_audit_required(u32 requested, in avc_audit_required()
71 u32 auditdeny, in avc_audit_required()
72 u32 *deniedp) in avc_audit_required()
74 u32 denied, audited; in avc_audit_required()
104 int slow_avc_audit(u32 ssid, u32 tsid, u16 tclass,
105 u32 requested, u32 audited, u32 denied, int result,
129 static inline int avc_audit(u32 ssid, u32 tsid, in avc_audit()
130 u16 tclass, u32 requested, in avc_audit()
136 u32 audited, denied; in avc_audit()
147 int avc_has_perm_noaudit(u32 ssid, u32 tsid,
148 u16 tclass, u32 requested,
152 int avc_has_perm(u32 ssid, u32 tsid,
153 u16 tclass, u32 requested,
155 int avc_has_perm_flags(u32 ssid, u32 tsid,
156 u16 tclass, u32 requested,
160 int avc_has_extended_perms(u32 ssid, u32 tsid, u16 tclass, u32 requested,
164 u32 avc_policy_seqno(void);
176 int avc_add_callback(int (*callback)(u32 event), u32 events);