Function tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h, line 38 [usage...] Macro (un)definition include/linux/preempt.h, line 186 [usage...] include/linux/preempt.h, line 254 [usage...] Function prototype or declaration arch/arm/kernel/perf_event_v7.c, line 1380 [usage...] arch/arm/kernel/perf_event_v7.c, line 1394 [usage...] arch/arm/vfp/vfpmodule.c, line 435 [usage...] arch/arm64/kernel/debug-monitors.c, line 93 [usage...] arch/arm64/kernel/debug-monitors.c, line 114 [usage...] arch/powerpc/kernel/process.c, line 213 [usage...] arch/powerpc/kernel/process.c, line 277 [usage...] arch/powerpc/kernel/process.c, line 362 [usage...] arch/powerpc/kernel/process.c, line 422 [usage...] arch/sparc/kernel/smp_64.c, line 1482 [usage...] arch/x86/include/asm/desc.h, line 316 [usage...] arch/x86/include/asm/desc.h, line 333 [usage...] arch/x86/include/asm/mmu_context.h, line 127 [usage...] arch/x86/kernel/paravirt.c, line 269 [usage...] arch/x86/kernel/paravirt.c, line 280 [usage...] arch/x86/kvm/lapic.c, line 1500 [usage...] arch/x86/kvm/lapic.c, line 1511 [usage...] arch/x86/kvm/lapic.c, line 1544 [usage...] arch/x86/xen/mmu_pv.c, line 1414 [usage...] arch/x86/xen/mmu_pv.c, line 1460 [usage...] arch/x86/xen/multicalls.c, line 64 [usage...] arch/x86/xen/multicalls.c, line 141 [usage...] arch/x86/xen/multicalls.c, line 169 [usage...] drivers/irqchip/irq-gic-v4.c, line 156 [usage...] drivers/xen/time.c, line 57 [usage...] kernel/rcu/tree.c, line 232 [usage...] kernel/rcu/tree.c, line 248 [usage...] kernel/rcu/tree_plugin.h, line 298 [usage...] kernel/rcu/tree_plugin.h, line 648 [usage...] lib/scatterlist.c, line 623 [usage...] virt/kvm/arm/arm.c, line 72 [usage...] virt/kvm/arm/arm.c, line 82 [usage...] virt/kvm/arm/vgic/vgic-init.c, line 446 [usage...]