aboutsummaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/rcupdate.h
blob: e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 (plain) (blame)