Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/landlock/ruleset.c create_rule() -> is_object_pointer()

Type Parameter Key Value
LOCK2 &ruleset->lock
HALF_LOCKED2 &parent->lock
HALF_LOCKED2 &src->lock
TYPE_LOCK (struct landlock_ruleset)->lock

security/landlock/ruleset.c free_rule() -> is_object_pointer()

Type Parameter Key Value
PARAM_VALUE 0 key_type 1-2
DATA_SOURCE 0 key_type $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ruleset->lock

security/landlock/ruleset.c landlock_store_rule() -> is_object_pointer()

Type Parameter Key Value