Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/selinux/ss/services.c security_load_policy() -> policydb_read()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 fp 6801050872897380352
PARAM_VALUE 1 fp->data 1-u64max
PARAM_VALUE 1 fp->len 1-1000000000,2147479552
BUF_SIZE 1 fp 16
CAPPED_DATA 1 fp->len 1
NOSPEC 1 fp->len
USER_DATA 1 fp->len 1-1000000000[c]
USER_PTR 1 fp->data
LOCK2 global &selinux_state.policy_mutex
TYPE_LOCK (struct selinux_state)->policy_mutex