Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

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