Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/selinux/ss/conditional.c cond_dup_av_list() -> avtab_insert_nonunique()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | h | 4096-ptr_max |
| PARAM_VALUE | 0 | h->htable | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | h->mask | 0-4294967294 |
| PARAM_VALUE | 2 | datum | 4096-ptr_max |
| DATA_SOURCE | 0 | h | $2 |
| NO_OVERFLOW_SIMPLE | 0 | h->nslot | |
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/conditional.c cond_insertf() -> avtab_insert_nonunique()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | h | 4096-ptr_max |
| PARAM_VALUE | 1 | key | 1360104217068969984 |
| PARAM_VALUE | 1 | key->source_type | 1-u16max |
| PARAM_VALUE | 1 | key->target_class | 1-u16max |
| PARAM_VALUE | 1 | key->target_type | 1-u16max |
| PARAM_VALUE | 2 | datum | 4930362701900075008 |
| CAPPED_DATA | 1 | key->source_type | 1 |
| CAPPED_DATA | 1 | key->target_class | 1 |
| CAPPED_DATA | 1 | key->target_type | 1 |
| DATA_SOURCE | 1 | key | $1 |
| DATA_SOURCE | 2 | datum | $2 |
| MEM_ZERO | 1 | key | |
| MEM_ZERO | 2 | datum | |
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |