Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

net/netlabel/netlabel_domainhash.c netlbl_domhsh_remove_af4() -> cipso_v4_doi_putdef()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 global &smack_ambient_lock
HALF_LOCKED2 global &smk_cipso_doi_lock

net/netlabel/netlabel_domainhash.c netlbl_domhsh_remove_entry() -> cipso_v4_doi_putdef()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

net/netlabel/netlabel_domainhash.c netlbl_domhsh_remove_entry() -> cipso_v4_doi_putdef()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

net/ipv4/cipso_ipv4.c cipso_v4_doi_remove() -> cipso_v4_doi_putdef()

Type Parameter Key Value
PARAM_VALUE 0 doi_def 4096-ptr_max
PARAM_VALUE 0 doi_def->list.next->prev 4096-ptr_max
PARAM_VALUE 0 doi_def->refcount.refs.counter s32min-(-1),1-s32max
CAPPED_DATA 0 doi_def->doi 1
DATA_SOURCE 0 doi_def r cipso_v4_doi_search
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &smk_cipso_doi_lock

net/netlabel/netlabel_kapi.c netlbl_cfg_cipsov4_map_add() -> cipso_v4_doi_putdef()

Type Parameter Key Value
PARAM_VALUE 0 doi_def 4096-ptr_max
PARAM_VALUE 0 doi_def->refcount.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 doi_def->doi 1
DATA_SOURCE 0 doi_def r cipso_v4_doi_getdef
NOCHECK_CALL
LOCK2 global &smk_cipso_doi_lock

net/netlabel/netlabel_cipso_v4.c netlbl_cipsov4_list() -> cipso_v4_doi_putdef()

Type Parameter Key Value
PARAM_VALUE 0 doi_def 4096-ptr_max
PARAM_VALUE 0 doi_def->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 doi_def->tags 4096-ptr_max
CAPPED_DATA 0 doi_def->doi 1
DATA_SOURCE 0 doi_def r cipso_v4_doi_getdef
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/netlabel/netlabel_cipso_v4.c netlbl_cipsov4_list() -> cipso_v4_doi_putdef()

Type Parameter Key Value
PARAM_VALUE 0 doi_def 4096-ptr_max
PARAM_VALUE 0 doi_def->map.std 4096-ptr_max
PARAM_VALUE 0 doi_def->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 doi_def->tags 4096-ptr_max
PARAM_VALUE 0 doi_def->type 1
CAPPED_DATA 0 doi_def->doi 1
DATA_SOURCE 0 doi_def r cipso_v4_doi_getdef
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/netlabel/netlabel_cipso_v4.c netlbl_cipsov4_list() -> cipso_v4_doi_putdef()

Type Parameter Key Value
PARAM_VALUE 0 doi_def 0,4096-ptr_max
PARAM_VALUE 0 doi_def->refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 doi_def r cipso_v4_doi_getdef
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/netlabel/netlabel_mgmt.c netlbl_mgmt_add_common() -> cipso_v4_doi_putdef()

Type Parameter Key Value
PARAM_VALUE 0 doi_def 0,4096-ptr_max
PARAM_VALUE 0 doi_def->refcount.refs.counter (-1073741824),0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read