put_cpu 223 include/linux/smp.h #define put_cpu() preempt_enable() put_cpu 49 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h static inline void put_cpu(void)