Macro (un)definition tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h, line 129 [usage...] Function prototype or declaration arch/alpha/kernel/irq_i8259.c, line 25 [usage...] arch/alpha/kernel/smc37c669.c, line 1094 [usage...] arch/arm/kernel/patch.c, line 19 [usage...] arch/arm/kernel/unwind.c, line 96 [usage...] arch/arm/mach-bcm/bcm63xx_pmb.c, line 88 [usage...] arch/arm/mach-davinci/clock.c, line 32 [usage...] arch/arm/mach-davinci/mux.c, line 35 [usage...] arch/arm/mach-dove/common.c, line 74 [usage...] arch/arm/mach-imx/cpuidle-imx6q.c, line 20 [usage...] arch/arm/mach-imx/iomux-imx31.c, line 39 [usage...] arch/arm/mach-imx/src.c, line 34 [usage...] arch/arm/mach-mmp/clock.c, line 52 [usage...] arch/arm/mach-omap1/mux.c, line 348 [usage...] arch/arm/mach-prima2/rtciobrg.c, line 29 [usage...] arch/arm/mach-qcom/platsmp.c, line 49 [usage...] arch/arm/mach-sunxi/platsmp.c, line 40 [usage...] arch/arm/mach-w90x900/irq.c, line 39 [usage...] arch/arm/plat-pxa/mfp.c, line 91 [usage...] arch/arm/plat-versatile/platsmp.c, line 35 [usage...] arch/c6x/platforms/cache.c, line 126 [usage...] arch/c6x/platforms/pll.c, line 29 [usage...] arch/h8300/kernel/traps.c, line 31 [usage...] arch/ia64/kernel/iosapic.c, line 111 [usage...] arch/ia64/kernel/sal.c, line 21 [usage...] arch/ia64/kernel/smpboot.c, line 103 [usage...] arch/ia64/sn/kernel/sn2/sn2_smp.c, line 48 [usage...] arch/m68k/coldfire/clk.c, line 23 [usage...] arch/mips/alchemy/common/vss.c, line 19 [usage...] arch/mips/kernel/gpio_txx9.c, line 18 [usage...] arch/mips/kernel/sysrq.c, line 21 [usage...] arch/mips/loongson64/lemote-2f/ec_kb3310b.c, line 20 [usage...] arch/mips/loongson64/lemote-2f/ec_kb3310b.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/pci/pci-rt2880.c, line 47 [usage...] arch/mips/pic32/pic32mzda/config.c, line 31 [usage...] arch/mips/pmcs-msp71xx/msp_irq_per.c, line 35 [usage...] arch/parisc/kernel/firmware.c, line 78 [usage...] arch/parisc/kernel/perf.c, line 72 [usage...] arch/powerpc/mm/dma-noncoherent.c, line 53 [usage...] arch/powerpc/oprofile/op_model_cell.c, line 185 [usage...] arch/powerpc/platforms/52xx/mpc52xx_common.c, line 49 [usage...] arch/powerpc/platforms/52xx/mpc52xx_common.c, line 92 [usage...] arch/powerpc/platforms/chrp/nvram.c, line 24 [usage...] arch/powerpc/platforms/ps3/htab.c, line 45 [usage...] arch/powerpc/sysdev/ehv_pic.c, line 32 [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/kernel/cpcmd.c, line 24 [usage...] arch/s390/kernel/diag.c, line 202 [usage...] arch/s390/kernel/lgr.c, line 138 [usage...] arch/sh/boards/mach-x3proto/gpio.c, line 29 [usage...] arch/sh/kernel/cpu/sh4/sq.c, line 41 [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/chmc.c, line 180 [usage...] arch/sparc/kernel/leon_kernel.c, line 38 [usage...] arch/sparc/kernel/leon_smp.c, line 374 [usage...] arch/sparc/kernel/pci_schizo.c, line 97 [usage...] arch/sparc/kernel/psycho_common.c, line 29 [usage...] arch/sparc/kernel/sun4d_smp.c, line 281 [usage...] arch/um/kernel/sigio.c, line 39 [usage...] arch/x86/pci/i386.c, line 54 [usage...] arch/x86/platform/olpc/olpc_ofw.c, line 19 [usage...] drivers/ata/pata_efar.c, line 70 [usage...] drivers/ata/pata_rdc.c, line 88 [usage...] drivers/block/paride/paride.c, line 43 [usage...] drivers/block/paride/pseudo.h, line 46 [usage...] drivers/char/mwave/3780i.c, line 63 [usage...] drivers/char/tb0219.c, line 41 [usage...] drivers/clk/clk-nomadik.c, line 60 [usage...] drivers/clk/clk-vt8500.c, line 27 [usage...] drivers/clk/keystone/gate.c, line 71 [usage...] drivers/clk/loongson1/clk-loongson1b.c, line 21 [usage...] drivers/clk/loongson1/clk-loongson1c.c, line 19 [usage...] drivers/clk/mediatek/clk-mt6797.c, line 31 [usage...] drivers/clk/mediatek/clk-mt8135.c, line 25 [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-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/renesas/clk-emev2.c, line 36 [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-a10-ve.c, line 24 [usage...] drivers/clk/sunxi/clk-a20-gmac.c, line 24 [usage...] drivers/clk/sunxi/clk-simple-gates.c, line 24 [usage...] drivers/clk/sunxi/clk-sun4i-display.c, line 47 [usage...] drivers/clk/sunxi/clk-sun4i-pll3.c, line 27 [usage...] drivers/clk/sunxi/clk-sun6i-ar100.c, line 70 [usage...] drivers/clk/tegra/clk-periph-gate.c, line 27 [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-zx296702.c, line 15 [usage...] drivers/clk/zynq/clkc.c, line 75 [usage...] drivers/clk/zynq/clkc.c, line 76 [usage...] drivers/clk/zynq/clkc.c, line 77 [usage...] drivers/clk/zynq/clkc.c, line 78 [usage...] drivers/clk/zynq/clkc.c, line 79 [usage...] drivers/clk/zynq/clkc.c, line 80 [usage...] drivers/clk/zynq/clkc.c, line 81 [usage...] drivers/clk/zynq/clkc.c, line 82 [usage...] drivers/clk/zynq/clkc.c, line 83 [usage...] drivers/clk/zynq/clkc.c, line 84 [usage...] drivers/clk/zynq/clkc.c, line 85 [usage...] drivers/clk/zynq/clkc.c, line 86 [usage...] drivers/clk/zynq/clkc.c, line 87 [usage...] drivers/cpufreq/loongson2_cpufreq.c, line 138 [usage...] drivers/cpuidle/cpuidle-ux500.c, line 24 [usage...] drivers/crypto/ccp/ccp-dev.c, line 104 [usage...] drivers/firmware/memmap.c, line 88 [usage...] drivers/firmware/memmap.c, line 97 [usage...] drivers/gpio/gpio-mpc5200.c, line 31 [usage...] drivers/gpio/gpio-vr41xx.c, line 80 [usage...] drivers/ide/ali14xx.c, line 105 [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/it8213.c, line 35 [usage...] drivers/ide/opti621.c, line 31 [usage...] drivers/ide/piix.c, line 77 [usage...] drivers/ide/slc90e66.c, line 19 [usage...] drivers/infiniband/core/agent.c, line 53 [usage...] drivers/input/gameport/gameport.c, line 270 [usage...] drivers/input/misc/ideapad_slidebar.c, line 95 [usage...] drivers/input/misc/ixp4xx-beeper.c, line 31 [usage...] drivers/iommu/fsl_pamu_domain.c, line 30 [usage...] drivers/iommu/fsl_pamu_domain.c, line 34 [usage...] drivers/irqchip/exynos-combiner.c, line 30 [usage...] drivers/irqchip/irq-mvebu-odmi.c, line 48 [usage...] drivers/leds/leds-ot200.c, line 83 [usage...] drivers/md/dm-cache-policy.c, line 17 [usage...] drivers/md/dm-exception-store.c, line 20 [usage...] drivers/md/dm-log-userspace-transfer.c, line 53 [usage...] drivers/memory/fsl_ifc.c, line 123 [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/misc/vmw_vmci/vmci_guest.c, line 70 [usage...] drivers/mtd/chips/chipreg.c, line 14 [usage...] drivers/mtd/maps/l440gx.c, line 30 [usage...] drivers/mtd/maps/pcmciamtd.c, line 297 [usage...] drivers/mtd/maps/sa1100-flash.c, line 39 [usage...] drivers/net/appletalk/ipddp.c, line 43 [usage...] drivers/net/can/c_can/c_can_platform.c, line 43 [usage...] drivers/net/wireless/ath/dfs_pri_detector.c, line 85 [usage...] drivers/parisc/iosapic.c, line 217 [usage...] drivers/pcmcia/i82092.c, line 177 [usage...] drivers/pps/kc.c, line 37 [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/rtc/rtc-davinci.c, line 117 [usage...] drivers/rtc/rtc-puv3.c, line 34 [usage...] drivers/s390/cio/airq.c, line 27 [usage...] drivers/sbus/char/flash.c, line 24 [usage...] drivers/scsi/ch.c, line 122 [usage...] drivers/scsi/esas2r/esas2r_log.c, line 76 [usage...] drivers/scsi/mac_esp.c, line 58 [usage...] drivers/scsi/ncr53c8xx.c, line 323 [usage...] drivers/scsi/sym53c8xx_2/sym_malloc.c, line 307 [usage...] drivers/soc/fsl/qbman/qman_test_stash.c, line 178 [usage...] drivers/soc/fsl/qe/qe.c, line 42 [usage...] drivers/soc/sunxi/sunxi_sram.c, line 96 [usage...] drivers/ssb/driver_pcicore.c, line 65 [usage...] drivers/target/target_core_hba.c, line 47 [usage...] drivers/target/target_core_tpg.c, line 48 [usage...] drivers/tty/serial/sunzilog.c, line 1156 [usage...] drivers/usb/gadget/udc/snps_udc_core.c, line 59 [usage...] drivers/usb/gadget/udc/snps_udc_core.c, line 61 [usage...] drivers/usb/wusbcore/wusbhc.c, line 352 [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/ibmasr.c, line 71 [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/nv_tco.c, line 49 [usage...] drivers/watchdog/pc87413_wdt.c, line 66 [usage...] drivers/watchdog/sb_wdog.c, line 63 [usage...] drivers/watchdog/sc520_wdt.c, line 131 [usage...] drivers/watchdog/scx200_wdt.c, line 52 [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/wdt977.c, line 62 [usage...] drivers/xen/events/events_2l.c, line 272 [usage...] drivers/xen/xenbus/xenbus_client.c, line 72 [usage...] fs/jffs2/compr.c, line 19 [usage...] fs/lockd/clntlock.c, line 44 [usage...] fs/lockd/svclock.c, line 55 [usage...] fs/minix/bitmap.c, line 20 [usage...] fs/nfs/nfs4super.c, line 157 [usage...] fs/nls/nls_base.c, line 22 [usage...] fs/ocfs2/reservations.c, line 42 [usage...] fs/ocfs2/stackglue.c, line 40 [usage...] kernel/debug/debug_core.c, line 82 [usage...] kernel/freezer.c, line 29 [usage...] lib/klist.c, line 181 [usage...] lib/percpu_counter.c, line 16 [usage...] mm/highmem.c, line 128 [usage...] net/6lowpan/nhc.c, line 22 [usage...] net/802/psnap.c, line 27 [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/ceph/string_table.c, line 8 [usage...] net/ipv4/cipso_ipv4.c, line 61 [usage...] net/iucv/iucv.c, line 161 [usage...] net/iucv/iucv.c, line 203 [usage...] net/netfilter/xt_dccp.c, line 34 [usage...] net/netlabel/netlabel_domainhash.c, line 57 [usage...] net/psample/psample.c, line 24 [usage...] net/sunrpc/auth.c, line 33 [usage...] net/sunrpc/auth.c, line 296 [usage...] net/sunrpc/auth_gss/gss_mech_switch.c, line 54 [usage...] net/unix/garbage.c, line 93 [usage...] net/vmw_vsock/af_vsock_tap.c, line 17 [usage...] net/wimax/id-table.c, line 54 [usage...] sound/firewire/fcp.c, line 186 [usage...] sound/firewire/fireworks/fireworks_transaction.c, line 41 [usage...] sound/firewire/fireworks/fireworks_transaction.c, line 44 [usage...]