/usr/src/linux-headers-5.15.0-190/tools/testing/selftests/rcutorture/formal/
/usr/src/linux-headers-5.15.0-190/tools/testing/selftests/rcutorture/formal
NameSizeModeActions
srcu-cbmc/-0755rm
Delete srcu-cbmc ?
cmd: