Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

security/smack/smack_access.c smk_access() -> smk_access_entry()

Type Parameter Key Value
PARAM_VALUE 2 rule_list 4096-ptr_max
PARAM_COMPARE 0 subject_label != $1
PARAM_COMPARE 1 object_label != $0
PARAM_COMPARE 1 object_label != $0
LOCK2 rcu_read

security/smack/smack_access.c smk_tskacc() -> smk_access_entry()

Type Parameter Key Value
PARAM_VALUE 2 rule_list 4096-ptr_max
HALF_LOCKED2 rcu_read

security/smack/smack_lsm.c smack_mmap_file() -> smk_access_entry()

Type Parameter Key Value
PARAM_VALUE 2 rule_list 4096-ptr_max
LOCK2 rcu_read

security/smack/smack_lsm.c smack_mmap_file() -> smk_access_entry()

Type Parameter Key Value
PARAM_VALUE 2 rule_list 4096-ptr_max
PARAM_COMPARE 0 subject_label != $1
PARAM_COMPARE 0 subject_label != $1
PARAM_COMPARE 1 object_label != $0
LOCK2 rcu_read

security/smack/smack_lsm.c smack_mmap_file() -> smk_access_entry()

Type Parameter Key Value
PARAM_VALUE 2 rule_list 4096-ptr_max
CAPPED_DATA 0 subject_label 1
CAPPED_DATA 1 object_label 1
PARAM_COMPARE 0 subject_label != $1
PARAM_COMPARE 0 subject_label != $1
PARAM_COMPARE 1 object_label != $0
LOCK2 rcu_read

security/smack/smack_lsm.c smk_rule_transmutes() -> smk_access_entry()

Type Parameter Key Value
PARAM_VALUE 2 rule_list 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read