Documented in 1 files:

Defined in 5 files as a member:

Defined in 9 files as a function:

Referenced in 23 files:

Smatch caller information:

net/ipv4/netfilter/ip_tables.c ipt_do_table() -> get_entry()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 rcu_read

net/ipv4/netfilter/ip_tables.c ipt_do_table() -> get_entry()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 rcu_read

net/ipv4/netfilter/ip_tables.c ipt_do_table() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 1 index 0-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 rcu_read

net/ipv4/netfilter/ip_tables.c trace_packet() -> get_entry()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 rcu_read

mm/page_ext.c __free_page_ext() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 1-u64max
PARAM_VALUE 1 index 0,32768-18446744073709551614
CAPPED_DATA 1 index 1
CAPPED_DATA 1 index 1
DATA_SOURCE 1 index $0

mm/page_ext.c lookup_page_ext() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 index unit_page
LOCK2 rcu_read

drivers/media/common/siano/smscoreapi.c smscore_getbuffer() -> get_entry()

Type Parameter Key Value
DATA_SOURCE 0 coredev $0
RX_PATH
TASK_NOT_RUNNING

drivers/media/common/siano/smscoreapi.c smscore_getbuffer() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->buffer_mng_waitq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 coredev->bufferslock.rlock.dep_map->name 0-255
DATA_SOURCE 0 coredev $0
PARAM_COMPARE 0 &coredev->buffers == $0->buffers.next
RX_PATH
TASK_NOT_RUNNING

drivers/media/common/siano/smscoreapi.c smscore_getbuffer() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->buffer_mng_waitq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 coredev->bufferslock.rlock.dep_map->name 0-255
DATA_SOURCE 0 coredev $0
PARAM_COMPARE 0 &coredev->buffers == $0->buffers.next
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-cache-policy-smq.c __complete_background_work() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mq->lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct smq_policy)->lock

drivers/md/dm-cache-policy-smq.c __smq_create() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->begin 0
PARAM_VALUE 0 coredev->es 4096-ptr_max
PARAM_VALUE 1 index 0-127
FUZZY_MAX 1 index 127
HARD_MAX 1 index 127
HALF_LOCKED2 &md->type_lock

drivers/md/dm-cache-policy-smq.c __smq_create() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->begin 128
PARAM_VALUE 0 coredev->es 4096-ptr_max
PARAM_VALUE 1 index 0-127
FUZZY_MAX 1 index 127
HARD_MAX 1 index 127
HALF_LOCKED2 &md->type_lock

drivers/md/dm-cache-policy-smq.c __smq_set_clear_dirty() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mq->lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct smq_policy)->lock

drivers/md/dm-cache-policy-smq.c get_sentinel() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
DATA_SOURCE 0 coredev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mq->lock
HALF_LOCKED2 flags

drivers/md/dm-cache-policy-smq.c smq_get_hint() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
LOCK2 &cache->background_work_lock
LOCK2 &cmd->root_lock
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &md->suspend_lock
TYPE_LOCK (struct cache)->background_work_lock
TYPE_LOCK (struct dm_cache_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-cache-policy-smq.c smq_invalidate_mapping() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
HALF_LOCKED2 &md->io_barrier

drivers/md/dm-vdo/repair.c add_slab_journal_entries() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 1 index 4096-ptr_max
BUF_SIZE 0 coredev (-1),8-s32max
BUF_SIZE 0 coredev (-1),8-s32max
BUF_SIZE 1 index 16
CAPPED_DATA 1 index->sequence_number 1
PARAM_COMPARE 0 &coredev->next_recovery_point == $1
PARAM_COMPARE 1 index->sequence_number <= $0->tail_recovery_point.sequence_number
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/repair.c compute_usages() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->completion.vdo 4096-ptr_max
PARAM_VALUE 0 coredev->completion.vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 0 coredev->completion.vdo->recovery_journal->size 1-u64max
PARAM_VALUE 1 index 8231228671607050240
PARAM_VALUE 1 index->entry_count 0-1
PARAM_VALUE 1 index->sector_count 1-2
PARAM_VALUE 1 index->sequence_number 1-u64max
BUF_SIZE 0 coredev (-1),8-s32max
BUF_SIZE 0 coredev (-1),8-s32max
CAPPED_DATA 0 coredev->block_map_head 1
CAPPED_DATA 0 coredev->completion.vdo->recovery_journal->nonce 1
CAPPED_DATA 0 coredev->completion.vdo->recovery_journal->recovery_count 1
CAPPED_DATA 0 coredev->completion.vdo->recovery_journal->size 1
CAPPED_DATA 0 coredev->highest_tail 1
CAPPED_DATA 0 coredev->slab_journal_head 1
CAPPED_DATA 0 coredev->tail_recovery_point.sequence_number 1
DATA_SOURCE 0 coredev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 coredev->block_map_entry_count
NO_OVERFLOW_SIMPLE 0 coredev->entry_count

drivers/md/dm-vdo/repair.c extract_new_mappings() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->completion.vdo 4096-ptr_max
PARAM_VALUE 0 coredev->completion.vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 0 coredev->completion.vdo->recovery_journal->size 1-u64max
PARAM_VALUE 1 index 8153784253342978048
PARAM_VALUE 1 index->entry_count 0-1
PARAM_VALUE 1 index->sector_count 1-2
PARAM_VALUE 1 index->sequence_number 1-u64max
BUF_SIZE 0 coredev (-1),8-s32max
BUF_SIZE 0 coredev (-1),8-s32max
CAPPED_DATA 0 coredev->block_map_head 1
CAPPED_DATA 0 coredev->completion.vdo->recovery_journal->nonce 1
CAPPED_DATA 0 coredev->completion.vdo->recovery_journal->recovery_count 1
CAPPED_DATA 0 coredev->completion.vdo->recovery_journal->size 1
CAPPED_DATA 0 coredev->highest_tail 1
CAPPED_DATA 0 coredev->slab_journal_head 1
DATA_SOURCE 0 coredev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 coredev->entry_count

net/ipv6/netfilter/ip6_tables.c ip6t_do_table() -> get_entry()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 rcu_read

net/ipv6/netfilter/ip6_tables.c ip6t_do_table() -> get_entry()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 rcu_read

net/ipv6/netfilter/ip6_tables.c ip6t_do_table() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 1 index 0-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 rcu_read

net/ipv6/netfilter/ip6_tables.c trace_packet() -> get_entry()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 rcu_read

net/ipv4/netfilter/arp_tables.c arpt_do_table() -> get_entry()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 rcu_read

net/ipv4/netfilter/arp_tables.c arpt_do_table() -> get_entry()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 rcu_read

net/ipv4/netfilter/arp_tables.c arpt_do_table() -> get_entry()

Type Parameter Key Value
PARAM_VALUE 1 index 0-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 rcu_read