Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/selinux/avc.c avc_add_xperms_decision() -> avc_copy_xperms_decision()

Type Parameter Key Value
PARAM_VALUE 0 dest 1-u64max
PARAM_VALUE 1 src 983256724670410752
PARAM_VALUE 1 src->allowed 6985076291272515584
PARAM_VALUE 1 src->auditallow 2521105730688745472
PARAM_VALUE 1 src->base_perm 1-2
PARAM_VALUE 1 src->dontaudit 2848189858375639040
DATA_SOURCE 1 src $1
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
USER_DATA 1 src->driver 0-255
LOCK2 flag
LOCK2 lock
LOCK2 rcu_read

security/selinux/avc.c avc_xperms_populate() -> avc_copy_xperms_decision()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flag
HALF_LOCKED2 lock
HALF_LOCKED2 rcu_read