Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/apparmor/label.c __label_update() -> __label_remove()

Type Parameter Key Value
PARAM_VALUE 0 label 4096-ptr_max
PARAM_VALUE 0 label->proxy->count.count.refcount.refs.counter (-1073741824)
PARAM_VALUE 0 label->proxy->count.reftype 1
PARAM_VALUE 0 label->proxy->label 4096-ptr_max
PARAM_VALUE 0 label->vec 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
CAPPED_DATA 0 label 1
CAPPED_DATA 0 label->size 1
CAPPED_DATA 1 new 1
DATA_SOURCE 0 label $0
NOCHECK_CALL
LOCK2 &ls->lock
LOCK2 &ns->lock
LOCK2 flags
TYPE_LOCK (struct aa_labelset)->lock
TYPE_LOCK (struct aa_ns)->lock

security/apparmor/label.c aa_label_remove() -> __label_remove()

Type Parameter Key Value
PARAM_VALUE 0 label 4096-ptr_max
PARAM_VALUE 0 label->vec 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
DATA_SOURCE 0 label $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ls->lock
LOCK2 flags
HALF_LOCKED2 &ns->lock
TYPE_LOCK (struct aa_labelset)->lock

security/apparmor/label.c aa_label_replace() -> __label_remove()

Type Parameter Key Value
PARAM_VALUE 0 label 4096-ptr_max
PARAM_VALUE 0 label->vec 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->vec 4096-ptr_max
CAPPED_DATA 0 label->hname 1
CAPPED_DATA 1 new->hname 1
DATA_SOURCE 0 label $0
DATA_SOURCE 1 new $1
LOCK2 flags
HALF_LOCKED2 &ns->lock
HALF_LOCKED2 &ons->labels.lock

security/apparmor/label.c aa_labelset_destroy() -> __label_remove()

Type Parameter Key Value
PARAM_VALUE 0 label 4096-ptr_max
PARAM_VALUE 0 label->vec 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
NOCHECK_CALL
LOCK2 &ls->lock
LOCK2 flags
TYPE_LOCK (struct aa_labelset)->lock

security/apparmor/label.c aa_labelset_destroy() -> __label_remove()

Type Parameter Key Value
PARAM_VALUE 0 label 4096-ptr_max
PARAM_VALUE 0 label->vec 4096-ptr_max
PARAM_VALUE 1 new 0
NOCHECK_CALL
LOCK2 &ls->lock
LOCK2 flags
TYPE_LOCK (struct aa_labelset)->lock