Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- security/selinux/ss/context.h
- security/selinux/ss/ebitmap.c
- security/selinux/ss/mls.c, line 650
- security/selinux/ss/policydb.c
- security/selinux/ss/services.c
Smatch caller information:
security/selinux/ss/ebitmap.c ebitmap_cpy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 0 | e->highbit | 0 |
| PARAM_VALUE | 0 | e->node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | e->node->next | 0 |
| DATA_SOURCE | 0 | e | $0 |
| MEM_ZERO | 0 | e | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
security/selinux/ss/ebitmap.c ebitmap_netlbl_import() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| DATA_SOURCE | 0 | e | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
security/selinux/ss/ebitmap.c ebitmap_read() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 0 | e->node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | e->node->startbit | 1-u32max |
| DATA_SOURCE | 0 | e | $0 |
| MEM_ZERO | 0 | e | |
| NOCHECK_CALL | |||
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/services.c mls_context_cpy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 0 | e->highbit | 0 |
| PARAM_VALUE | 0 | e->node | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
security/selinux/ss/services.c mls_context_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
security/selinux/ss/services.c mls_context_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
security/selinux/ss/services.c security_netlbl_secattr_to_sid() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
security/selinux/ss/services.c security_netlbl_secattr_to_sid() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
security/selinux/ss/sidtab.c mls_context_cpy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 0 | e->highbit | 0 |
| PARAM_VALUE | 0 | e->node | 0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &s->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/sidtab.c mls_context_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &s->lock | ||
| HALF_LOCKED2 | flags |
security/selinux/ss/sidtab.c mls_context_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &s->lock | ||
| HALF_LOCKED2 | flags |
security/selinux/ss/policydb.c constraint_expr_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c constraint_expr_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c constraint_expr_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c filename_trans_read_helper() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/policydb.c filenametr_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c mls_context_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/policydb.c mls_context_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/policydb.c mls_read_range_helper() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 0 | e->highbit | 0 |
| PARAM_VALUE | 0 | e->node | 0 |
| NOCHECK_CALL | |||
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/policydb.c policydb_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/policydb.c policydb_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/policydb.c policydb_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/policydb.c policydb_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/policydb.c policydb_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/policydb.c range_tr_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c range_tr_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c role_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c role_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c sens_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c user_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c user_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c user_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/policydb.c user_destroy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/mls.c mls_context_cpy() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 0 | e->highbit | 0 |
| PARAM_VALUE | 0 | e->node | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
security/selinux/ss/mls.c mls_context_cpy_high() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 0 | e->highbit | 0 |
| PARAM_VALUE | 0 | e->node | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
security/selinux/ss/mls.c mls_context_cpy_low() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 0 | e->highbit | 0 |
| PARAM_VALUE | 0 | e->node | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
security/selinux/ss/mls.c mls_import_netlbl_cat() -> ebitmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |