Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/selinux/ss/sidtab.c sidtab_destroy() -> sidtab_destroy_entry()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
NOCHECK_CALL
LOCK2 global &selinux_state.policy_mutex
TYPE_LOCK (struct selinux_state)->policy_mutex

security/selinux/ss/sidtab.c sidtab_destroy_tree() -> sidtab_destroy_entry()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 global &selinux_state.policy_mutex