Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/selinux/ss/policydb.c policydb_write() -> role_allow_write()

Type Parameter Key Value
PARAM_VALUE 1 fp 4298060255489560576
PARAM_VALUE 1 fp->data 4096-ptr_max
DATA_SOURCE 1 fp $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &selinux_state.policy_mutex
TYPE_LOCK (struct selinux_state)->policy_mutex