/
usr
/
src
/
kernels
/
4.18.0-553.157.1.el8_10.x86_64
/
tools
/
testing
/
selftests
/
rcutorture
/
formal
/
/usr/src/kernels/4.18.0-553.157.1.el8_10.x86_64/tools/testing/selftests/rcutorture/formal
mkdir
upload
Name
Size
Mode
Actions
srcu-cbmc/
-
0755
rm
cmd:
run