Defined in 2 files as a macro:

• tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h, line 7 (as a macro)
• tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h, line 14 (as a macro)

Referenced in 21 files:

• arch/arm/include/debug/sa1100.S, line 25
• arch/arm/kernel/head.S
  • line 506
  • line 514
  • line 519
• arch/m68k/fpsp040/round.S, line 382
• arch/m68k/ifpsp060/os.S
  • line 152
  • line 187
  • line 223
  • line 245
  • line 267
  • line 291
  • line 306
• arch/mips/kernel/r2300_fpu.S
  • line 68
  • line 102
• arch/sparc/mm/viking.S, line 95
• arch/x86/boot/header.S, line 598
• arch/x86/crypto/sha256-avx-asm.S, line 52
• arch/x86/crypto/sha256-avx2-asm.S, line 53
• arch/x86/crypto/sha256-ssse3-asm.S, line 51
• arch/x86/crypto/sha512-avx2-asm.S, line 117
• arch/x86/events/intel/core.c
  • line 4646
  • line 4649
• arch/xtensa/kernel/align.S
  • line 247
  • line 349
• arch/xtensa/kernel/entry.S, line 804
• drivers/staging/rtl8723bs/core/rtw_mlme_ext.c, line 1372
• tools/testing/selftests/powerpc/math/fpu_asm.S, line 11
• tools/testing/selftests/powerpc/math/vmx_asm.S, line 13
• tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h
  • line 85
  • line 194
• tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.h, line 25
• tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c
  • line 66
  • line 67
• tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/simple_sync_srcu.c
  • line 46
  • line 50