455 		u32 requested, u32 audited, u32 denied, int result,  in slow_avc_audit()  argument
479 	sad.requested = requested;  in slow_avc_audit()
677 			 u16 tclass, u32 requested,  in avc_denied()  argument
687 	avc_update_node(AVC_CALLBACK_GRANT, requested, ssid,  in avc_denied()
714 			 u16 tclass, u32 requested,  in avc_has_perm_noaudit()  argument
722 	BUG_ON(!requested);  in avc_has_perm_noaudit()
732 	denied = requested & ~(avd->allowed);  in avc_has_perm_noaudit()
734 		rc = avc_denied(ssid, tsid, tclass, requested, flags, avd);  in avc_has_perm_noaudit()
757 		 u32 requested, struct common_audit_data *auditdata)  in avc_has_perm()  argument
762 	rc = avc_has_perm_noaudit(ssid, tsid, tclass, requested, 0, &avd);  in avc_has_perm()
764 	rc2 = avc_audit(ssid, tsid, tclass, requested, &avd, rc, auditdata);  in avc_has_perm()