Function arch/arm/kernel/setup.c, line 1211 [usage...] arch/arm/kernel/topology.c, line 97 [usage...] arch/arm/mach-sti/platsmp.c, line 67 [usage...] arch/arm/mach-vexpress/spc.c, line 566 [usage...] arch/arm/mm/context.c, line 143 [usage...] arch/arm/mm/context.c, line 179 [usage...] arch/arm64/kernel/sdei.c, line 68 [usage...] arch/arm64/kernel/sdei.c, line 94 [usage...] arch/arm64/kernel/sdei.c, line 124 [usage...] arch/arm64/kernel/sdei.c, line 150 [usage...] arch/arm64/kernel/smp.c, line 771 [usage...] arch/csky/mm/asid.c, line 32 [usage...] arch/csky/mm/asid.c, line 69 [usage...] arch/ia64/mm/contig.c, line 54 [usage...] arch/mips/lantiq/irq.c, line 345 [usage...] arch/mips/lantiq/irq.c, line 361 [usage...] arch/openrisc/kernel/smp.c, line 86 [usage...] arch/powerpc/kernel/mce.c, line 739 [usage...] arch/powerpc/kernel/setup-common.c, line 834 [usage...] arch/powerpc/kernel/setup_32.c, line 160 [usage...] arch/powerpc/kernel/setup_32.c, line 185 [usage...] arch/powerpc/kernel/setup_64.c, line 97 [usage...] arch/powerpc/kernel/setup_64.c, line 694 [usage...] arch/powerpc/kernel/setup_64.c, line 705 [usage...] arch/powerpc/kernel/setup_64.c, line 761 [usage...] arch/powerpc/kernel/setup_64.c, line 909 [usage...] arch/powerpc/kernel/smp.c, line 1009 [usage...] arch/powerpc/kernel/smp.c, line 1022 [usage...] arch/powerpc/kernel/smp.c, line 1050 [usage...] arch/powerpc/perf/imc-pmu.c, line 1543 [usage...] arch/powerpc/platforms/cell/cbe_regs.c, line 243 [usage...] arch/powerpc/platforms/cell/cbe_regs.c, line 266 [usage...] arch/powerpc/platforms/cell/cbe_thermal.c, line 338 [usage...] arch/powerpc/platforms/cell/pervasive.c, line 113 [usage...] arch/powerpc/platforms/powernv/setup.c, line 215 [usage...] arch/powerpc/platforms/powernv/subcore.c, line 284 [usage...] arch/powerpc/platforms/pseries/dtl.c, line 347 [usage...] arch/powerpc/platforms/pseries/hvCall_inst.c, line 131 [usage...] arch/powerpc/platforms/pseries/lpar.c, line 186 [usage...] arch/powerpc/platforms/pseries/lpar.c, line 529 [usage...] arch/powerpc/platforms/pseries/lpar.c, line 2022 [usage...] arch/powerpc/platforms/pseries/lparcfg.c, line 429 [usage...] arch/powerpc/platforms/pseries/lparcfg.c, line 448 [usage...] arch/powerpc/platforms/pseries/setup.c, line 151 [usage...] arch/powerpc/xmon/xmon.c, line 1372 [usage...] arch/riscv/kernel/smpboot.c, line 63 [usage...] arch/riscv/mm/context.c, line 51 [usage...] arch/riscv/mm/context.c, line 73 [usage...] arch/s390/pci/pci_irq.c, line 331 [usage...] arch/s390/pci/pci_irq.c, line 428 [usage...] arch/s390/pci/pci_irq.c, line 511 [usage...] arch/sparc/kernel/irq_64.c, line 1066 [usage...] arch/sparc/kernel/irq_64.c, line 1083 [usage...] arch/sparc/kernel/leon_smp.c, line 297 [usage...] arch/sparc/kernel/pci_sun4v.c, line 1278 [usage...] arch/sparc/kernel/sun4d_smp.c, line 200 [usage...] arch/sparc/kernel/sysfs.c, line 265 [usage...] arch/x86/events/intel/lbr.c, line 709 [usage...] arch/x86/events/intel/lbr.c, line 728 [usage...] arch/x86/kernel/apic/ipi.c, line 309 [usage...] arch/x86/kernel/apic/x2apic_uv_x.c, line 1758 [usage...] arch/x86/kernel/hw_breakpoint.c, line 286 [usage...] arch/x86/kernel/kvm.c, line 424 [usage...] arch/x86/kernel/kvm.c, line 614 [usage...] arch/x86/kernel/setup_percpu.c, line 73 [usage...] arch/x86/kernel/setup_percpu.c, line 222 [usage...] arch/x86/kernel/sev.c, line 623 [usage...] arch/x86/kernel/sev.c, line 787 [usage...] arch/x86/kernel/tsc.c, line 205 [usage...] arch/x86/kvm/svm/sev.c, line 190 [usage...] arch/x86/kvm/vmx/vmx.c, line 7989 [usage...] arch/x86/mm/pti.c, line 441 [usage...] arch/x86/xen/enlighten_pv.c, line 1019 [usage...] arch/x86/xen/smp_hvm.c, line 42 [usage...] arch/x86/xen/smp_pv.c, line 245 [usage...] block/blk-cgroup.c, line 470 [usage...] block/blk-cgroup.c, line 850 [usage...] block/blk-iocost.c, line 1656 [usage...] block/blk-iocost.c, line 2841 [usage...] block/blk-stat.c, line 143 [usage...] block/blk-throttle.c, line 2115 [usage...] block/genhd.c, line 108 [usage...] block/genhd.c, line 128 [usage...] block/genhd.c, line 145 [usage...] crypto/scompress.c, line 73 [usage...] crypto/scompress.c, line 88 [usage...] drivers/acpi/processor_core.c, line 242 [usage...] drivers/acpi/processor_perflib.c, line 589 [usage...] drivers/acpi/processor_perflib.c, line 608 [usage...] drivers/acpi/processor_perflib.c, line 627 [usage...] drivers/acpi/processor_perflib.c, line 650 [usage...] drivers/acpi/processor_perflib.c, line 678 [usage...] drivers/acpi/processor_perflib.c, line 698 [usage...] drivers/acpi/processor_throttling.c, line 68 [usage...] drivers/acpi/processor_throttling.c, line 89 [usage...] drivers/acpi/processor_throttling.c, line 112 [usage...] drivers/acpi/processor_throttling.c, line 145 [usage...] drivers/acpi/processor_throttling.c, line 170 [usage...] drivers/base/arch_topology.c, line 646 [usage...] drivers/base/cpu.c, line 503 [usage...] drivers/char/random.c, line 2220 [usage...] drivers/clocksource/exynos_mct.c, line 524 [usage...] drivers/clocksource/exynos_mct.c, line 559 [usage...] drivers/clocksource/timer-mp-csky.c, line 144 [usage...] drivers/clocksource/timer-mp-csky.c, line 164 [usage...] drivers/cpufreq/armada-8k-cpufreq.c, line 43 [usage...] drivers/cpufreq/cpufreq-dt.c, line 325 [usage...] drivers/cpufreq/intel_pstate.c, line 3091 [usage...] drivers/cpufreq/intel_pstate.c, line 3138 [usage...] drivers/cpufreq/mvebu-cpufreq.c, line 62 [usage...] drivers/cpufreq/qcom-cpufreq-nvmem.c, line 341 [usage...] drivers/cpufreq/qcom-cpufreq-nvmem.c, line 399 [usage...] drivers/cpufreq/qcom-cpufreq-nvmem.c, line 406 [usage...] drivers/cpufreq/qcom-cpufreq-nvmem.c, line 411 [usage...] drivers/cpufreq/qcom-cpufreq-nvmem.c, line 432 [usage...] drivers/cpufreq/sun50i-cpufreq-nvmem.c, line 106 [usage...] drivers/cpufreq/sun50i-cpufreq-nvmem.c, line 133 [usage...] drivers/cpuidle/cpuidle-psci.c, line 365 [usage...] drivers/firmware/arm_sdei.c, line 250 [usage...] drivers/hwtracing/coresight/coresight-platform.c, line 767 [usage...] drivers/infiniband/hw/hfi1/debugfs.c, line 179 [usage...] drivers/infiniband/hw/qib/qib_mad.c, line 1649 [usage...] drivers/infiniband/ulp/rtrs/rtrs-clt-stats.c, line 53 [usage...] drivers/infiniband/ulp/rtrs/rtrs-clt-stats.c, line 60 [usage...] drivers/infiniband/ulp/rtrs/rtrs-clt-stats.c, line 87 [usage...] drivers/infiniband/ulp/rtrs/rtrs-clt-stats.c, line 117 [usage...] drivers/infiniband/ulp/rtrs/rtrs-clt-stats.c, line 133 [usage...] drivers/iommu/iova.c, line 114 [usage...] drivers/irqchip/irq-bcm6345-l1.c, line 313 [usage...] drivers/irqchip/irq-bcm6345-l1.c, line 349 [usage...] drivers/irqchip/irq-bcm7038-l1.c, line 439 [usage...] drivers/irqchip/irq-bcm7038-l1.c, line 473 [usage...] drivers/leds/trigger/ledtrig-activity.c, line 60 [usage...] drivers/leds/trigger/ledtrig-cpu.c, line 149 [usage...] drivers/md/dm-stats.c, line 177 [usage...] drivers/md/dm-stats.c, line 199 [usage...] drivers/md/dm-stats.c, line 331 [usage...] drivers/md/dm-stats.c, line 696 [usage...] drivers/md/dm.c, line 2223 [usage...] drivers/net/ethernet/chelsio/cxgb/sge.c, line 992 [usage...] drivers/net/ethernet/chelsio/libcxgb/libcxgb_ppm.c, line 373 [usage...] drivers/net/ethernet/freescale/dpaa/dpaa_eth.c, line 1582 [usage...] drivers/net/ethernet/freescale/dpaa2/dpaa2-eth.c, line 1518 [usage...] drivers/net/ethernet/intel/ixgbe/ixgbe_fcoe.c, line 779 [usage...] drivers/net/ethernet/intel/ixgbe/ixgbe_main.c, line 7203 [usage...] drivers/net/ethernet/marvell/mvneta.c, line 4622 [usage...] drivers/net/ethernet/marvell/mvpp2/mvpp2_main.c, line 5102 [usage...] drivers/net/ethernet/qualcomm/rmnet/rmnet_vnd.c, line 134 [usage...] drivers/net/hyperv/netvsc_drv.c, line 1303 [usage...] drivers/net/hyperv/netvsc_drv.c, line 1333 [usage...] drivers/net/loopback.c, line 101 [usage...] drivers/net/macsec.c, line 2685 [usage...] drivers/net/macsec.c, line 2730 [usage...] drivers/net/macsec.c, line 2781 [usage...] drivers/net/macsec.c, line 2862 [usage...] drivers/net/macsec.c, line 2918 [usage...] drivers/net/team/team.c, line 1848 [usage...] drivers/net/team/team_mode_loadbalance.c, line 502 [usage...] drivers/net/team/team_mode_loadbalance.c, line 516 [usage...] drivers/net/team/team_mode_loadbalance.c, line 625 [usage...] drivers/net/vrf.c, line 153 [usage...] drivers/net/wireguard/queueing.c, line 17 [usage...] drivers/net/wireless/intel/iwlwifi/iwl-trans.c, line 128 [usage...] drivers/of/base.c, line 406 [usage...] drivers/perf/arm_dsu_pmu.c, line 648 [usage...] drivers/perf/arm_pmu.c, line 588 [usage...] drivers/perf/arm_pmu.c, line 601 [usage...] drivers/perf/arm_pmu.c, line 903 [usage...] drivers/pnp/pnpbios/bioscalls.c, line 479 [usage...] drivers/scsi/fcoe/fcoe_transport.c, line 184 [usage...] drivers/scsi/libfc/fc_lport.c, line 306 [usage...] drivers/scsi/lpfc/lpfc_attr.c, line 5736 [usage...] drivers/scsi/lpfc/lpfc_init.c, line 11007 [usage...] drivers/scsi/lpfc/lpfc_init.c, line 11312 [usage...] drivers/scsi/qedi/qedi_main.c, line 2894 [usage...] drivers/soc/bcm/brcmstb/biuctrl.c, line 186 [usage...] drivers/soc/ti/knav_qmss_queue.c, line 446 [usage...] drivers/xen/events/events_base.c, line 2113 [usage...] drivers/xen/time.c, line 106 [usage...] drivers/xen/time.c, line 121 [usage...] drivers/xen/xen-acpi-processor.c, line 470 [usage...] drivers/xen/xen-acpi-processor.c, line 538 [usage...] drivers/xen/xen-acpi-processor.c, line 550 [usage...] fs/ext4/mballoc.c, line 3418 [usage...] fs/locks.c, line 3064 [usage...] fs/namespace.c, line 185 [usage...] fs/namespace.c, line 297 [usage...] fs/proc/stat.c, line 125 [usage...] fs/xfs/xfs_stats.c, line 70 [usage...] fs/xfs/xfs_stats.c, line 97 [usage...] kernel/bpf/arraymap.c, line 263 [usage...] kernel/bpf/bpf_lru_list.c, line 589 [usage...] kernel/bpf/bpf_lru_list.c, line 656 [usage...] kernel/bpf/bpf_lru_list.c, line 670 [usage...] kernel/bpf/hashtab.c, line 356 [usage...] kernel/bpf/hashtab.c, line 838 [usage...] kernel/bpf/hashtab.c, line 860 [usage...] kernel/bpf/hashtab.c, line 1443 [usage...] kernel/bpf/hashtab.c, line 1636 [usage...] kernel/bpf/hashtab.c, line 1901 [usage...] kernel/bpf/hashtab.c, line 2117 [usage...] kernel/bpf/hashtab.c, line 2164 [usage...] kernel/bpf/local_storage.c, line 204 [usage...] kernel/bpf/local_storage.c, line 238 [usage...] kernel/bpf/local_storage.c, line 432 [usage...] kernel/bpf/percpu_freelist.c, line 14 [usage...] kernel/bpf/stackmap.c, line 723 [usage...] kernel/bpf/syscall.c, line 1786 [usage...] kernel/events/core.c, line 917 [usage...] kernel/events/core.c, line 11059 [usage...] kernel/events/hw_breakpoint.c, line 687 [usage...] kernel/events/hw_breakpoint.c, line 705 [usage...] kernel/locking/lock_events.c, line 99 [usage...] kernel/locking/lockdep.c, line 271 [usage...] kernel/locking/lockdep.c, line 298 [usage...] kernel/module.c, line 645 [usage...] kernel/rcu/rcutorture.c, line 1754 [usage...] kernel/rcu/rcutorture.c, line 3021 [usage...] kernel/rcu/srcutree.c, line 136 [usage...] kernel/rcu/srcutree.c, line 249 [usage...] kernel/rcu/srcutree.c, line 266 [usage...] kernel/rcu/srcutree.c, line 335 [usage...] kernel/rcu/srcutree.c, line 376 [usage...] kernel/rcu/tree.c, line 4584 [usage...] kernel/rcu/tree.c, line 4728 [usage...] kernel/rcu/tree_stall.h, line 832 [usage...] kernel/rcu/tree_stall.h, line 926 [usage...] kernel/sched/core.c, line 9014 [usage...] kernel/sched/core.c, line 9043 [usage...] kernel/sched/cpuacct.c, line 211 [usage...] kernel/sched/cpuacct.c, line 245 [usage...] kernel/sched/cpuacct.c, line 278 [usage...] kernel/sched/fair.c, line 11291 [usage...] kernel/sched/fair.c, line 11319 [usage...] kernel/sched/fair.c, line 11350 [usage...] kernel/sched/fair.c, line 11367 [usage...] kernel/sched/fair.c, line 11436 [usage...] kernel/sched/rt.c, line 147 [usage...] kernel/sched/rt.c, line 201 [usage...] lib/cpu_rmap.c, line 52 [usage...] lib/cpu_rmap.c, line 118 [usage...] lib/random32.c, line 114 [usage...] lib/random32.c, line 438 [usage...] lib/random32.c, line 474 [usage...] lib/random32.c, line 507 [usage...] net/core/gro_cells.c, line 77 [usage...] net/core/gro_cells.c, line 98 [usage...] net/rds/page.c, line 157 [usage...] net/sched/cls_matchall.c, line 374 [usage...] Macro (un)definition tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h, line 90 [usage...]