local_bh_enable    30 include/linux/bottom_half.h static inline void local_bh_enable(void)
local_bh_enable    12 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.h static inline void local_bh_enable(void) {}