Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

kernel/fork.c __mmdrop() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 1 nr_counters 4
BUF_SIZE 0 fbc 416
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &context->db_page_mutex
HALF_LOCKED2 &dev->domain_lock
HALF_LOCKED2 &ictx->ioas_creation_lock
HALF_LOCKED2 &xdna->client_lock
HALF_LOCKED2 &xdna->dev_lock
HALF_LOCKED2 rcu_read

lib/percpu_counter.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 1 nr_counters 1
BUF_SIZE 0 fbc (-1),1-s32max
BUF_SIZE 0 fbc (-1),1-s32max
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fbc unit_byte

mm/backing-dev.c wb_exit() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 1 nr_counters 5
BUF_SIZE 0 fbc 520
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ceph/metric.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/nfsctl.c nfsd_net_exit() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 1 nr_counters 16
BUF_SIZE 0 fbc 1664
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

fs/nfsd/nfsctl.c nfsd_net_exit() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 1 nr_counters 84
BUF_SIZE 0 fbc 8736
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

fs/nfsd/nfsctl.c nfsd_net_init() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 16
BUF_SIZE 0 fbc 1664
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

fs/nfsd/nfsctl.c nfsd_net_init() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 84
BUF_SIZE 0 fbc 8736
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

mm/shmem.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_umount

fs/ext4/extents_status.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/ipv4/xfrm4_policy.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

io_uring/tctx.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

ipc/msg.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/protocol.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 8205971789686882304
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
NOCHECK_CALL

kernel/user.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &uidhash_lock
HALF_LOCKED2 irq

fs/jbd2/journal.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/export.c export_stats_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 1 nr_counters 3
BUF_SIZE 0 fbc 312
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

fs/smb/server/proc.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
NOCHECK_CALL

lib/flex_proportions.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/sunrpc/xprtrdma/svc_rdma.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 2166979601230389248,3606547835034415104,7388025111902089216,8203332951193108480
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
NOCHECK_CALL

fs/ext2/super.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/btrfs/disk-io.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
BUF_SIZE 0 fbc (-1),104
BUF_SIZE 0 fbc (-1),104
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

block/blk-cgroup-rwstat.c blkg_rwstat_exit() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 1 nr_counters 5
BUF_SIZE 0 fbc 520
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-crypt.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 0 fbc->lock.owner (-1)
PARAM_VALUE 0 fbc->lock.owner_cpu u32max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
NOCHECK_CALL

net/ipv6/route.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pernet_ops_rwsem

fs/ext4/mballoc-test.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
NOCHECK_CALL

fs/xfs/xfs_buf.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/bridge/br_nf_core.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 6299912386447638656
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
NOCHECK_CALL

net/ipv6/xfrm6_policy.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

fs/f2fs/super.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/xfs_super.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sunrpc/svc.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &nfsd_mutex

kernel/bpf/hashtab.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
NOCHECK_CALL

block/bfq-cgroup.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/super.c percpu_counter_destroy() -> percpu_counter_destroy_many()

Type Parameter Key Value
PARAM_VALUE 0 fbc 4096-ptr_max
PARAM_VALUE 1 nr_counters 1
DATA_SOURCE 0 fbc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &cifs_mount_mutex