root/include/config/arch/have/nmi/safe/

[..]
  1. cmpxchg.h
[..]