Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/selinux/avc.c avc_denied() -> avc_update_node()

Type Parameter Key Value
PARAM_VALUE 0 event 1
PARAM_VALUE 1 perms 1-u32max
PARAM_VALUE 3 base_perm 0-2
PARAM_VALUE 9 xpd 0
PARAM_VALUE 10 flags 0,2
CAPPED_DATA 3 base_perm 1
DATA_SOURCE 1 perms $3
DATA_SOURCE 2 driver $4
DATA_SOURCE 3 base_perm $5
DATA_SOURCE 4 xperm $6
DATA_SOURCE 5 ssid $0
DATA_SOURCE 6 tsid $1
DATA_SOURCE 7 tclass $2
DATA_SOURCE 10 flags $7
BIT_INFO 10 flags 0x0,0x2
HARD_MAX 3 base_perm 2
HARD_MAX 10 flags 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 driver 0-255
USER_DATA 4 xperm 0-255[c]
HALF_LOCKED2 rcu_read

security/selinux/avc.c avc_has_extended_perms() -> avc_update_node()

Type Parameter Key Value
PARAM_VALUE 0 event 256
PARAM_VALUE 1 perms 1-u32max
PARAM_VALUE 3 base_perm 1-2
PARAM_VALUE 9 xpd 983256724670410752
PARAM_VALUE 9 xpd->allowed 6985076291272515584
PARAM_VALUE 9 xpd->auditallow 2521105730688745472
PARAM_VALUE 9 xpd->base_perm 1-2
PARAM_VALUE 9 xpd->dontaudit 2848189858375639040
PARAM_VALUE 10 flags 0
CAPPED_DATA 3 base_perm 1
DATA_SOURCE 1 perms $3
DATA_SOURCE 2 driver $4 [m]
DATA_SOURCE 3 base_perm $5
DATA_SOURCE 4 xperm $6
DATA_SOURCE 5 ssid $0
DATA_SOURCE 6 tsid $1
DATA_SOURCE 7 tclass $2
HARD_MAX 3 base_perm 2
NOCHECK_CALL
USER_DATA 2 driver 0-255
USER_DATA 4 xperm 0-255[c]
USER_DATA 9 xpd->driver 0-255
LOCK2 rcu_read