Macro (un)definition tools/include/linux/spinlock.h, line 9 [usage...] tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h, line 129 [usage...] Function prototype or declaration arch/alpha/kernel/smc37c669.c, line 1093 [usage...] arch/arm/mach-dove/common.c, line 75 [usage...] arch/arm/mach-exynos/platsmp.c, line 250 [usage...] arch/arm/mach-sunxi/platsmp.c, line 38 [usage...] arch/csky/mm/cachev1.c, line 23 [usage...] arch/csky/mm/cachev2.c, line 38 [usage...] arch/mips/alchemy/common/clock.c, line 114 [usage...] arch/mips/alchemy/common/usb.c, line 96 [usage...] arch/mips/alchemy/common/vss.c, line 20 [usage...] arch/mips/ath79/common.c, line 21 [usage...] arch/mips/bcm63xx/cs.c, line 19 [usage...] arch/mips/bcm63xx/gpio.c, line 35 [usage...] arch/mips/bcm63xx/reset.c, line 191 [usage...] arch/mips/jazz/jazzdma.c, line 34 [usage...] arch/mips/kernel/module.c, line 32 [usage...] arch/mips/kernel/smp-bmips.c, line 325 [usage...] arch/mips/kernel/sysrq.c, line 21 [usage...] arch/mips/loongson64/hpet.c, line 20 [usage...] arch/parisc/kernel/perf.c, line 59 [usage...] arch/parisc/kernel/unwind.c, line 40 [usage...] arch/powerpc/platforms/powernv/opal-async.c, line 36 [usage...] arch/powerpc/platforms/powernv/opal-hmi.c, line 36 [usage...] arch/powerpc/sysdev/fsl_rmu.c, line 103 [usage...] arch/sh/kernel/dwarf.c, line 42 [usage...] arch/sh/kernel/dwarf.c, line 45 [usage...] arch/sh/kernel/unwinder.c, line 56 [usage...] arch/sparc/include/asm/floppy_32.h, line 382 [usage...] arch/sparc/include/asm/parport.h, line 25 [usage...] arch/sparc/kernel/auxio_32.c, line 28 [usage...] arch/sparc/kernel/chmc.c, line 181 [usage...] arch/sparc/kernel/cpumap.c, line 60 [usage...] arch/sparc/kernel/ds.c, line 200 [usage...] arch/sparc/kernel/hvapi.c, line 57 [usage...] arch/sparc/kernel/irq_32.c, line 115 [usage...] arch/sparc/kernel/irq_32.c, line 120 [usage...] arch/sparc/kernel/leon_kernel.c, line 38 [usage...] arch/sparc/kernel/leon_pci_grpci2.c, line 219 [usage...] arch/sparc/kernel/mdesc.c, line 255 [usage...] arch/sparc/kernel/pci.c, line 44 [usage...] arch/sparc/kernel/sun4d_smp.c, line 281 [usage...] arch/sparc/kernel/sun4m_smp.c, line 170 [usage...] arch/sparc/mm/srmmu.c, line 87 [usage...] arch/um/drivers/harddog_kern.c, line 54 [usage...] arch/um/kernel/kmsg_dump.c, line 14 [usage...] arch/x86/mm/kmmio.c, line 65 [usage...] arch/x86/pci/i386.c, line 54 [usage...] arch/x86/platform/olpc/olpc_ofw.c, line 20 [usage...] arch/x86/xen/p2m.c, line 107 [usage...] drivers/ata/pata_efar.c, line 71 [usage...] drivers/ata/pata_legacy.c, line 790 [usage...] drivers/ata/pata_rdc.c, line 75 [usage...] drivers/atm/idt77105.c, line 42 [usage...] drivers/block/paride/paride.c, line 43 [usage...] drivers/block/paride/pseudo.h, line 46 [usage...] drivers/char/apm-emulation.c, line 139 [usage...] drivers/char/mwave/3780i.c, line 63 [usage...] drivers/clk/berlin/bg2q.c, line 40 [usage...] drivers/clk/clk-aspeed.c, line 39 [usage...] drivers/clk/clk-milbeaut.c, line 67 [usage...] drivers/clk/clk-npcm7xx.c, line 431 [usage...] drivers/clk/clk-stm32h7.c, line 50 [usage...] drivers/clk/clk-vt8500.c, line 18 [usage...] drivers/clk/clk-xgene.c, line 29 [usage...] drivers/clk/hisilicon/clk-hi3620.c, line 326 [usage...] drivers/clk/imx/clk-lpcg-scu.c, line 16 [usage...] drivers/clk/keystone/gate.c, line 67 [usage...] drivers/clk/loongson1/clk-loongson1b.c, line 17 [usage...] drivers/clk/meson/g12a.c, line 28 [usage...] drivers/clk/mmp/clk-mmp2.c, line 55 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 113 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 114 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 115 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 118 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 119 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 120 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 121 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 122 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 125 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 128 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 176 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 177 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 180 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 182 [usage...] drivers/clk/mmp/clk-of-pxa168.c, line 185 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 113 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 114 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 115 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 118 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 119 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 122 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 123 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 126 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 182 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 183 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 186 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 188 [usage...] drivers/clk/mmp/clk-of-pxa910.c, line 191 [usage...] drivers/clk/mmp/clk-pxa168.c, line 48 [usage...] drivers/clk/mmp/clk-pxa910.c, line 46 [usage...] drivers/clk/mvebu/dove-divider.c, line 182 [usage...] drivers/clk/qcom/clk-cpu-8996.c, line 427 [usage...] drivers/clk/qcom/clk-krait.c, line 18 [usage...] drivers/clk/renesas/clk-emev2.c, line 24 [usage...] drivers/clk/samsung/clk-s5pv210-audss.c, line 23 [usage...] drivers/clk/spear/spear1310_clock.c, line 231 [usage...] drivers/clk/spear/spear3xx_clock.c, line 20 [usage...] drivers/clk/spear/spear6xx_clock.c, line 17 [usage...] drivers/clk/sunxi/clk-a10-mod1.c, line 14 [usage...] drivers/clk/sunxi/clk-a10-pll2.c, line 36 [usage...] drivers/clk/sunxi/clk-a10-ve.c, line 16 [usage...] drivers/clk/sunxi/clk-a20-gmac.c, line 16 [usage...] drivers/clk/sunxi/clk-mod0.c, line 360 [usage...] drivers/clk/sunxi/clk-mod0.c, line 368 [usage...] drivers/clk/sunxi/clk-sun4i-pll3.c, line 19 [usage...] drivers/clk/sunxi/clk-sun8i-bus-gates.c, line 18 [usage...] drivers/clk/sunxi/clk-sun8i-mbus.c, line 22 [usage...] drivers/clk/sunxi/clk-sun9i-cpus.c, line 19 [usage...] drivers/clk/sunxi/clk-usb.c, line 170 [usage...] drivers/clk/sunxi/clk-usb.c, line 229 [usage...] drivers/clk/tegra/clk-periph-gate.c, line 16 [usage...] drivers/clk/tegra/clk-tegra-super-gen4.c, line 28 [usage...] drivers/cpufreq/loongson2_cpufreq.c, line 124 [usage...] drivers/crypto/ccp/ccp-crypto-main.c, line 62 [usage...] drivers/dma-buf/sync_debug.c, line 14 [usage...] drivers/gpio/gpio-loongson.c, line 38 [usage...] drivers/gpu/host1x/fence.c, line 18 [usage...] drivers/i2c/busses/i2c-elektor.c, line 52 [usage...] drivers/i2c/busses/i2c-elektor.c, line 52 [usage...] drivers/infiniband/core/agent.c, line 53 [usage...] drivers/infiniband/core/iwpm_util.c, line 43 [usage...] drivers/infiniband/core/iwpm_util.c, line 46 [usage...] drivers/infiniband/core/iwpm_util.c, line 49 [usage...] drivers/infiniband/core/mad.c, line 93 [usage...] drivers/infiniband/core/security.c, line 44 [usage...] drivers/infiniband/hw/hfi1/vnic_main.c, line 22 [usage...] drivers/infiniband/hw/mthca/mthca_catas.c, line 49 [usage...] drivers/infiniband/ulp/srpt/ib_srpt.c, line 69 [usage...] drivers/input/gameport/gameport.c, line 266 [usage...] drivers/input/misc/ideapad_slidebar.c, line 91 [usage...] drivers/iommu/intel/perf.c, line 16 [usage...] drivers/irqchip/irq-csky-mpintc.c, line 58 [usage...] drivers/isdn/hardware/mISDN/hfcmulti.c, line 176 [usage...] drivers/isdn/hardware/mISDN/hfcmulti.c, line 182 [usage...] drivers/leds/leds-cobalt-raq.c, line 21 [usage...] drivers/leds/leds-ot200.c, line 83 [usage...] drivers/leds/leds-ss4200.c, line 169 [usage...] drivers/md/bcache/closure.c, line 134 [usage...] drivers/md/dm-cache-policy.c, line 17 [usage...] drivers/md/dm-exception-store.c, line 20 [usage...] drivers/md/dm-kcopyd.c, line 95 [usage...] drivers/md/dm-log-userspace-transfer.c, line 53 [usage...] drivers/media/rc/img-ir/img-ir-hw.c, line 22 [usage...] drivers/mfd/syscon.c, line 28 [usage...] drivers/mtd/maps/sa1100-flash.c, line 40 [usage...] drivers/net/can/cc770/cc770_isa.c, line 108 [usage...] drivers/net/ethernet/cavium/liquidio/octeon_device.c, line 548 [usage...] drivers/net/ethernet/intel/e1000/e1000_hw.c, line 85 [usage...] drivers/parisc/iosapic.c, line 203 [usage...] drivers/parport/parport_pc.c, line 2001 [usage...] drivers/pcmcia/i82092.c, line 185 [usage...] drivers/pcmcia/i82365.c, line 167 [usage...] drivers/pcmcia/i82365.c, line 215 [usage...] drivers/pcmcia/pd6729.c, line 57 [usage...] drivers/pnp/pnpbios/bioscalls.c, line 75 [usage...] drivers/pps/kc.c, line 24 [usage...] drivers/ptp/ptp_kvm_common.c, line 25 [usage...] drivers/rtc/rtc-at91rm9200.c, line 102 [usage...] drivers/rtc/rtc-at91rm9200.c, line 105 [usage...] drivers/rtc/rtc-ds1511.c, line 96 [usage...] drivers/s390/char/sclp_ocf.c, line 32 [usage...] drivers/s390/cio/isc.c, line 14 [usage...] drivers/s390/net/smsgiucv_app.c, line 59 [usage...] drivers/s390/scsi/zfcp_ccw.c, line 19 [usage...] drivers/sbus/char/flash.c, line 24 [usage...] drivers/scsi/device_handler/scsi_dh_rdac.c, line 235 [usage...] drivers/scsi/sym53c8xx_2/sym_malloc.c, line 294 [usage...] drivers/soc/fsl/dpio/dpio-service.c, line 55 [usage...] drivers/soc/renesas/r9a06g032-smp.c, line 32 [usage...] drivers/soc/renesas/rcar-sysc.c, line 66 [usage...] drivers/soc/sunxi/sunxi_sram.c, line 107 [usage...] drivers/ssb/driver_pcicore.c, line 66 [usage...] drivers/staging/octeon/ethernet-rgmii.c, line 20 [usage...] drivers/target/target_core_alua.c, line 45 [usage...] drivers/tty/serial/rp2.c, line 210 [usage...] drivers/tty/vcc.c, line 58 [usage...] drivers/usb/core/message.c, line 2185 [usage...] drivers/usb/gadget/udc/pch_udc.c, line 374 [usage...] drivers/usb/phy/phy.c, line 30 [usage...] drivers/usb/usbip/stub_main.c, line 26 [usage...] drivers/vfio/virqfd.c, line 21 [usage...] drivers/video/backlight/hp680_bl.c, line 30 [usage...] drivers/video/fbdev/geode/display_gx1.c, line 21 [usage...] drivers/video/fbdev/omap2/omapfb/dss/apply.c, line 111 [usage...] drivers/virt/vboxguest/vboxguest_utils.c, line 35 [usage...] drivers/watchdog/alim1535_wdt.c, line 30 [usage...] drivers/watchdog/cpu5wdt.c, line 29 [usage...] drivers/watchdog/ib700wdt.c, line 48 [usage...] drivers/watchdog/indydog.c, line 28 [usage...] drivers/watchdog/nv_tco.c, line 45 [usage...] drivers/watchdog/pc87413_wdt.c, line 62 [usage...] drivers/watchdog/pnx4008_wdt.c, line 79 [usage...] drivers/watchdog/sc520_wdt.c, line 127 [usage...] drivers/watchdog/w83977f_wdt.c, line 47 [usage...] drivers/watchdog/watchdog_pretimeout.c, line 19 [usage...] drivers/watchdog/wdt_pci.c, line 61 [usage...] drivers/xen/events/events_2l.c, line 271 [usage...] drivers/xen/xenbus/xenbus_xs.c, line 64 [usage...] drivers/xen/xenbus/xenbus_xs.c, line 79 [usage...] drivers/xen/xenbus/xenbus_xs.c, line 83 [usage...] fs/erofs/utils.c, line 188 [usage...] fs/jffs2/compr.c, line 19 [usage...] fs/lockd/clntlock.c, line 45 [usage...] fs/lockd/mon.c, line 55 [usage...] fs/nfs/nfs4super.c, line 83 [usage...] fs/nls/nls_base.c, line 22 [usage...] fs/ocfs2/cluster/netdebug.c, line 40 [usage...] fs/orangefs/orangefs-cache.c, line 13 [usage...] kernel/time/alarmtimer.c, line 57 [usage...] kernel/time/alarmtimer.c, line 64 [usage...] kernel/user.c, line 96 [usage...] lib/klist.c, line 180 [usage...] lib/percpu_counter.c, line 15 [usage...] net/802/psnap.c, line 23 [usage...] net/bridge/netfilter/ebt_limit.c, line 22 [usage...] net/ceph/string_table.c, line 8 [usage...] net/decnet/dn_fib.c, line 61 [usage...] net/decnet/dn_fib.c, line 63 [usage...] net/ieee802154/netlink.c, line 21 [usage...] net/ipv4/netfilter/nf_nat_snmp_basic_main.c, line 58 [usage...] net/netfilter/nf_conntrack_ftp.c, line 40 [usage...] net/netfilter/nf_conntrack_h323_main.c, line 111 [usage...] net/netfilter/nf_conntrack_sane.c, line 39 [usage...] net/netfilter/xt_dccp.c, line 31 [usage...] net/netrom/nr_route.c, line 40 [usage...] net/netrom/nr_route.c, line 42 [usage...] net/psample/psample.c, line 24 [usage...] net/rds/af_rds.c, line 45 [usage...] net/rds/cong.c, line 101 [usage...] net/rds/connection.c, line 49 [usage...] net/rds/info.c, line 70 [usage...] net/rds/loop.c, line 44 [usage...] net/rfkill/input.c, line 39 [usage...] net/sched/sch_cbs.c, line 66 [usage...] net/wireless/lib80211.c, line 41 [usage...] security/selinux/netif.c, line 39 [usage...] sound/core/seq/oss/seq_oss_synth.c, line 68 [usage...] sound/firewire/fireworks/fireworks_transaction.c, line 40 [usage...] sound/firewire/fireworks/fireworks_transaction.c, line 43 [usage...]