Function tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h, line 38 [usage...] Macro (un)definition include/linux/preempt.h, line 193 [usage...] include/linux/preempt.h, line 261 [usage...] tools/testing/scatterlist/linux/mm.h, line 77 [usage...] Function prototype or declaration arch/arm/kernel/perf_event_v7.c, line 1385 [usage...] arch/arm/kernel/perf_event_v7.c, line 1399 [usage...] arch/arm/vfp/vfpmodule.c, line 426 [usage...] arch/arm64/include/asm/pgtable.h, line 998 [usage...] arch/arm64/include/asm/traps.h, line 62 [usage...] arch/arm64/kernel/debug-monitors.c, line 84 [usage...] arch/arm64/kernel/debug-monitors.c, line 105 [usage...] arch/arm64/kernel/proton-pack.c, line 266 [usage...] arch/arm64/kernel/proton-pack.c, line 604 [usage...] arch/arm64/kvm/vgic/vgic-init.c, line 502 [usage...] arch/powerpc/kernel/process.c, line 214 [usage...] arch/powerpc/kernel/process.c, line 265 [usage...] arch/powerpc/kernel/process.c, line 335 [usage...] arch/powerpc/kernel/process.c, line 384 [usage...] arch/sparc/kernel/smp_64.c, line 1442 [usage...] arch/x86/include/asm/desc.h, line 328 [usage...] arch/x86/include/asm/desc.h, line 345 [usage...] arch/x86/include/asm/mmu_context.h, line 90 [usage...] arch/x86/kernel/cpu/sgx/main.c, line 742 [usage...] arch/x86/kernel/ldt.c, line 113 [usage...] arch/x86/kernel/paravirt.c, line 203 [usage...] arch/x86/kernel/paravirt.c, line 214 [usage...] arch/x86/kvm/lapic.c, line 1848 [usage...] arch/x86/kvm/lapic.c, line 1860 [usage...] arch/x86/kvm/lapic.c, line 1900 [usage...] arch/x86/mm/tlb.c, line 1190 [usage...] arch/x86/mm/tlb.c, line 1212 [usage...] arch/x86/xen/mmu_pv.c, line 1326 [usage...] arch/x86/xen/mmu_pv.c, line 1366 [usage...] arch/x86/xen/multicalls.c, line 64 [usage...] arch/x86/xen/multicalls.c, line 146 [usage...] arch/x86/xen/multicalls.c, line 174 [usage...] drivers/firmware/arm_sdei.c, line 304 [usage...] drivers/firmware/arm_sdei.c, line 325 [usage...] drivers/firmware/arm_sdei.c, line 392 [usage...] drivers/firmware/arm_sdei.c, line 482 [usage...] drivers/firmware/arm_sdei.c, line 564 [usage...] drivers/irqchip/irq-gic-v4.c, line 242 [usage...] drivers/irqchip/irq-gic-v4.c, line 268 [usage...] drivers/irqchip/irq-gic-v4.c, line 293 [usage...] drivers/xen/time.c, line 61 [usage...] include/asm-generic/mshyperv.h, line 248 [usage...] kernel/irq/manage.c, line 2706 [usage...] kernel/irq/manage.c, line 2748 [usage...] kernel/rcu/tree_plugin.h, line 284 [usage...] kernel/rcu/tree_plugin.h, line 685 [usage...] kernel/rcu/tree_plugin.h, line 843 [usage...] lib/scatterlist.c, line 925 [usage...]