Macro (un)definition include/linux/spinlock_types.h, line 81 [usage...] tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h, line 129 [usage...] Function prototype or declaration arch/alpha/kernel/smc37c669.c, line 1094 [usage...] arch/alpha/kernel/srmcons.c, line 25 [usage...] arch/arm/kernel/unwind.c, line 96 [usage...] arch/arm/mach-davinci/mux.c, line 35 [usage...] arch/arm/mach-dove/common.c, line 74 [usage...] arch/arm/mach-ep93xx/clock.c, line 245 [usage...] arch/arm/mach-imx/cpuidle-imx6q.c, line 20 [usage...] arch/arm/mach-prima2/rtciobrg.c, line 29 [usage...] arch/arm/mach-s3c24xx/mach-rx1950.c, line 246 [usage...] arch/arm/mach-spear/platsmp.c, line 35 [usage...] arch/arm/mach-sti/platsmp.c, line 38 [usage...] arch/arm/mach-sunxi/platsmp.c, line 40 [usage...] arch/arm/mach-w90x900/clock.c, line 30 [usage...] arch/arm/mach-w90x900/irq.c, line 39 [usage...] arch/arm/plat-versatile/platsmp.c, line 35 [usage...] arch/ia64/kernel/mca.c, line 183 [usage...] arch/ia64/kernel/mca.c, line 184 [usage...] arch/ia64/kernel/sal.c, line 21 [usage...] arch/m68k/coldfire/clk.c, line 23 [usage...] arch/mips/alchemy/common/vss.c, line 19 [usage...] arch/mips/bcm63xx/gpio.c, line 35 [usage...] arch/mips/jazz/jazzdma.c, line 34 [usage...] arch/mips/kernel/module.c, line 45 [usage...] arch/mips/kernel/sysrq.c, line 21 [usage...] arch/mips/loongson64/lemote-2f/clock.c, line 21 [usage...] arch/mips/loongson64/loongson-3/hpet.c, line 20 [usage...] arch/mips/pci/msi-octeon.c, line 40 [usage...] arch/mips/pic32/pic32mzda/config.c, line 31 [usage...] arch/mips/txx9/generic/setup.c, line 675 [usage...] arch/mips/txx9/rbtx4938/setup.c, line 242 [usage...] arch/openrisc/kernel/smp.c, line 36 [usage...] arch/parisc/kernel/pdc_cons.c, line 56 [usage...] arch/parisc/kernel/perf.c, line 72 [usage...] arch/powerpc/platforms/512x/clock-commonclk.c, line 79 [usage...] arch/powerpc/platforms/cell/spu_base.c, line 62 [usage...] arch/powerpc/platforms/cell/spu_base.c, line 76 [usage...] arch/powerpc/platforms/powernv/opal-async.c, line 40 [usage...] arch/powerpc/platforms/ps3/htab.c, line 45 [usage...] arch/powerpc/sysdev/fsl_lbc.c, line 34 [usage...] arch/powerpc/sysdev/fsl_rio.c, line 74 [usage...] arch/powerpc/sysdev/mmio_nvram.c, line 35 [usage...] arch/s390/crypto/des_s390.c, line 24 [usage...] arch/s390/kernel/cpcmd.c, line 24 [usage...] arch/s390/mm/cmm.c, line 56 [usage...] arch/sh/boards/mach-sh03/rtc.c, line 39 [usage...] arch/sh/boards/mach-x3proto/gpio.c, line 29 [usage...] arch/sh/kernel/dwarf.c, line 45 [usage...] arch/sh/kernel/dwarf.c, line 48 [usage...] arch/sh/kernel/io_trapped.c, line 33 [usage...] arch/sh/kernel/unwinder.c, line 55 [usage...] arch/sparc/include/asm/floppy_32.h, line 382 [usage...] arch/sparc/kernel/auxio_32.c, line 28 [usage...] arch/sparc/kernel/auxio_64.c, line 29 [usage...] arch/sparc/kernel/chmc.c, line 180 [usage...] arch/sparc/kernel/cpumap.c, line 60 [usage...] arch/sparc/kernel/ds.c, line 199 [usage...] arch/sparc/kernel/leon_pci_grpci2.c, line 219 [usage...] arch/sparc/kernel/psycho_common.c, line 29 [usage...] arch/sparc/kernel/sun4m_smp.c, line 170 [usage...] arch/sparc/lib/atomic32.c, line 25 [usage...] arch/um/drivers/harddog_kern.c, line 54 [usage...] arch/x86/pci/i386.c, line 54 [usage...] drivers/ata/pata_efar.c, line 70 [usage...] drivers/atm/idt77105.c, line 41 [usage...] drivers/atm/suni.c, line 48 [usage...] drivers/block/paride/paride.c, line 43 [usage...] drivers/clk/clk-u300.c, line 447 [usage...] drivers/clk/hisilicon/clk-hi3620.c, line 340 [usage...] drivers/clk/loongson1/clk-loongson1b.c, line 21 [usage...] drivers/clk/loongson1/clk-loongson1c.c, line 19 [usage...] drivers/clk/mediatek/clk-mt8135.c, line 25 [usage...] drivers/clk/mediatek/clk-mt8173.c, line 32 [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-pxa910.c, line 45 [usage...] drivers/clk/pxa/clk-pxa.c, line 41 [usage...] drivers/clk/renesas/clk-emev2.c, line 36 [usage...] drivers/clk/sirf/clk-atlas7.c, line 302 [usage...] drivers/clk/sirf/clk-atlas7.c, line 303 [usage...] drivers/clk/sirf/clk-atlas7.c, line 304 [usage...] drivers/clk/sirf/clk-atlas7.c, line 305 [usage...] drivers/clk/sirf/clk-atlas7.c, line 306 [usage...] drivers/clk/sirf/clk-atlas7.c, line 307 [usage...] drivers/clk/sirf/clk-atlas7.c, line 308 [usage...] drivers/clk/sirf/clk-atlas7.c, line 309 [usage...] drivers/clk/sirf/clk-atlas7.c, line 310 [usage...] drivers/clk/sirf/clk-atlas7.c, line 311 [usage...] drivers/clk/sirf/clk-atlas7.c, line 312 [usage...] drivers/clk/sirf/clk-atlas7.c, line 313 [usage...] drivers/clk/sirf/clk-atlas7.c, line 314 [usage...] drivers/clk/sirf/clk-atlas7.c, line 315 [usage...] drivers/clk/sirf/clk-atlas7.c, line 316 [usage...] drivers/clk/sirf/clk-atlas7.c, line 317 [usage...] drivers/clk/sirf/clk-atlas7.c, line 318 [usage...] drivers/clk/sirf/clk-atlas7.c, line 319 [usage...] drivers/clk/sirf/clk-atlas7.c, line 320 [usage...] drivers/clk/sirf/clk-atlas7.c, line 321 [usage...] drivers/clk/sirf/clk-atlas7.c, line 322 [usage...] drivers/clk/sirf/clk-atlas7.c, line 324 [usage...] drivers/clk/sirf/clk-atlas7.c, line 325 [usage...] drivers/clk/sirf/clk-atlas7.c, line 326 [usage...] drivers/clk/sirf/clk-atlas7.c, line 327 [usage...] drivers/clk/sirf/clk-atlas7.c, line 328 [usage...] drivers/clk/sirf/clk-atlas7.c, line 329 [usage...] drivers/clk/sirf/clk-atlas7.c, line 330 [usage...] drivers/clk/sirf/clk-atlas7.c, line 331 [usage...] drivers/clk/sirf/clk-atlas7.c, line 332 [usage...] drivers/clk/sirf/clk-atlas7.c, line 333 [usage...] drivers/clk/sirf/clk-atlas7.c, line 334 [usage...] drivers/clk/sirf/clk-atlas7.c, line 335 [usage...] drivers/clk/spear/spear1310_clock.c, line 230 [usage...] drivers/clk/spear/spear1340_clock.c, line 163 [usage...] drivers/clk/spear/spear3xx_clock.c, line 20 [usage...] drivers/clk/sunxi/clk-a10-hosc.c, line 24 [usage...] drivers/clk/sunxi/clk-a10-mod1.c, line 22 [usage...] drivers/clk/sunxi/clk-a10-pll2.c, line 44 [usage...] drivers/clk/sunxi/clk-simple-gates.c, line 24 [usage...] drivers/clk/sunxi/clk-sun6i-ar100.c, line 70 [usage...] drivers/clk/sunxi/clk-sun8i-bus-gates.c, line 26 [usage...] drivers/clk/sunxi/clk-sun9i-cpus.c, line 18 [usage...] drivers/clk/tegra/clk-tegra-audio.c, line 95 [usage...] drivers/clk/tegra/clk-tegra-pmc.c, line 61 [usage...] drivers/clk/zte/clk-zx296718.c, line 95 [usage...] drivers/cpufreq/loongson2_cpufreq.c, line 138 [usage...] drivers/crypto/ccp/ccp-dev.c, line 104 [usage...] drivers/dma-buf/sync_debug.c, line 23 [usage...] drivers/dma-buf/sync_debug.c, line 25 [usage...] drivers/gpio/gpio-vr41xx.c, line 80 [usage...] drivers/ide/atiixp.c, line 41 [usage...] drivers/ide/cmd640.c, line 182 [usage...] drivers/ide/dtc2278.c, line 69 [usage...] drivers/ide/ht6560b.c, line 246 [usage...] drivers/ide/opti621.c, line 31 [usage...] drivers/ide/slc90e66.c, line 19 [usage...] drivers/infiniband/core/agent.c, line 53 [usage...] drivers/infiniband/hw/mthca/mthca_catas.c, line 49 [usage...] drivers/input/misc/ideapad_slidebar.c, line 95 [usage...] drivers/irqchip/exynos-combiner.c, line 30 [usage...] drivers/leds/leds-cobalt-raq.c, line 34 [usage...] drivers/leds/leds-ot200.c, line 83 [usage...] drivers/macintosh/via-cuda.c, line 33 [usage...] drivers/md/dm-cache-policy.c, line 17 [usage...] drivers/md/dm-log-userspace-transfer.c, line 53 [usage...] drivers/media/rc/img-ir/img-ir-hw.c, line 26 [usage...] drivers/media/rc/sir_ir.c, line 39 [usage...] drivers/media/rc/sir_ir.c, line 50 [usage...] drivers/mfd/ab8500-core.c, line 122 [usage...] drivers/mfd/db8500-prcmu.c, line 444 [usage...] drivers/mfd/db8500-prcmu.c, line 445 [usage...] drivers/mfd/db8500-prcmu.c, line 464 [usage...] drivers/misc/atmel-ssc.c, line 26 [usage...] drivers/misc/atmel_tclib.c, line 32 [usage...] drivers/misc/tifm_core.c, line 23 [usage...] drivers/mtd/chips/chipreg.c, line 14 [usage...] drivers/mtd/maps/sbc_gxx.c, line 85 [usage...] drivers/net/appletalk/ipddp.c, line 43 [usage...] drivers/net/can/softing/softing_cs.c, line 29 [usage...] drivers/oprofile/buffer_sync.c, line 46 [usage...] drivers/parport/daisy.c, line 45 [usage...] drivers/parport/share.c, line 46 [usage...] drivers/parport/share.c, line 50 [usage...] drivers/pcmcia/i82092.c, line 177 [usage...] drivers/pcmcia/i82365.c, line 167 [usage...] drivers/pcmcia/i82365.c, line 215 [usage...] drivers/pwm/pwm-samsung.c, line 108 [usage...] drivers/rapidio/rio_cm.c, line 239 [usage...] drivers/regulator/dbx500-prcmu.c, line 25 [usage...] drivers/s390/char/con3215.c, line 98 [usage...] drivers/s390/cio/airq.c, line 27 [usage...] drivers/s390/cio/eadm_sch.c, line 36 [usage...] drivers/s390/cio/isc.c, line 14 [usage...] drivers/s390/net/smsgiucv_app.c, line 59 [usage...] drivers/scsi/esas2r/esas2r_log.c, line 76 [usage...] drivers/scsi/imm.c, line 62 [usage...] drivers/scsi/mac_esp.c, line 58 [usage...] drivers/scsi/sym53c8xx_2/sym_malloc.c, line 307 [usage...] drivers/soc/fsl/qbman/bman.c, line 227 [usage...] drivers/soc/fsl/qbman/bman_portal.c, line 36 [usage...] drivers/soc/fsl/qbman/qman_portal.c, line 42 [usage...] drivers/soc/fsl/qbman/qman_test_stash.c, line 178 [usage...] drivers/soc/fsl/qe/qe.c, line 42 [usage...] drivers/ssb/driver_pcicore.c, line 65 [usage...] drivers/target/target_core_tpg.c, line 48 [usage...] drivers/tty/serial/sunsu.c, line 988 [usage...] drivers/tty/serial/sunzilog.c, line 1156 [usage...] drivers/usb/gadget/udc/pch_udc.c, line 376 [usage...] drivers/usb/gadget/udc/snps_udc_core.c, line 59 [usage...] drivers/usb/gadget/udc/snps_udc_core.c, line 61 [usage...] drivers/video/backlight/hp680_bl.c, line 30 [usage...] drivers/video/fbdev/geode/display_gx1.c, line 25 [usage...] drivers/video/fbdev/hgafb.c, line 105 [usage...] drivers/watchdog/gef_wdt.c, line 72 [usage...] drivers/watchdog/indydog.c, line 32 [usage...] drivers/watchdog/iop_wdt.c, line 42 [usage...] drivers/watchdog/ixp4xx_wdt.c, line 34 [usage...] drivers/watchdog/ks8695_wdt.c, line 59 [usage...] drivers/watchdog/mv64x60_wdt.c, line 61 [usage...] drivers/watchdog/sc1200wdt.c, line 80 [usage...] drivers/watchdog/smsc37b787_wdt.c, line 86 [usage...] drivers/watchdog/txx9wdt.c, line 44 [usage...] drivers/watchdog/watchdog_pretimeout.c, line 23 [usage...] drivers/watchdog/wdt.c, line 79 [usage...] drivers/watchdog/wdt977.c, line 62 [usage...] fs/dlm/ast.c, line 20 [usage...] fs/fs_pin.c, line 8 [usage...] fs/lockd/clntlock.c, line 44 [usage...] fs/minix/bitmap.c, line 20 [usage...] fs/nfs_common/grace.c, line 13 [usage...] fs/nls/nls_base.c, line 22 [usage...] fs/ocfs2/cluster/netdebug.c, line 61 [usage...] fs/ocfs2/reservations.c, line 42 [usage...] fs/ocfs2/stackglue.c, line 40 [usage...] fs/orangefs/orangefs-cache.c, line 13 [usage...] fs/ubifs/debug.c, line 38 [usage...] kernel/user.c, line 95 [usage...] lib/klist.c, line 181 [usage...] lib/random32.c, line 268 [usage...] net/6lowpan/nhc.c, line 22 [usage...] net/ax25/ax25_iface.c, line 35 [usage...] net/ax25/ax25_iface.c, line 42 [usage...] net/bridge/netfilter/ebt_log.c, line 25 [usage...] net/ieee802154/netlink.c, line 29 [usage...] net/ipv4/cipso_ipv4.c, line 61 [usage...] net/iucv/iucv.c, line 203 [usage...] net/netfilter/xt_dccp.c, line 34 [usage...] net/psample/psample.c, line 24 [usage...] net/sunrpc/auth.c, line 33 [usage...] net/sunrpc/auth.c, line 296 [usage...] net/sunrpc/svcauth.c, line 30 [usage...] net/sunrpc/svcauth.c, line 127 [usage...] net/switchdev/switchdev.c, line 99 [usage...] net/unix/garbage.c, line 93 [usage...] net/wireless/lib80211.c, line 42 [usage...] security/tomoyo/gc.c, line 30 [usage...] sound/firewire/fcp.c, line 186 [usage...]