Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

security/apparmor/policy.c aa_free_pdb() -> aa_put_dfa()

Type Parameter Key Value
NOCHECK_CALL

security/apparmor/lsm.c aa_setup_dfa_engine() -> aa_put_dfa()

Type Parameter Key Value
PARAM_VALUE 0 dfa 0,4096-ptr_max
PARAM_VALUE 0 dfa->count.refcount.refs.counter (-1073741824),1
PARAM_VALUE 0 dfa->flags 0-2
PARAM_VALUE 0 dfa->max_oob 1
PARAM_VALUE 0 dfa->tables 4096-ptr_max
BUF_SIZE 0 dfa 0,80
BUF_SIZE 0 dfa 0,80
NOCHECK_CALL
HALF_LOCKED2 irq

security/apparmor/lsm.c aa_teardown_dfa_engine() -> aa_put_dfa()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 irq

security/apparmor/lsm.c aa_teardown_dfa_engine() -> aa_put_dfa()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 irq