Home
last modified time | relevance | path

Searched refs:modified_srcu_input (Results 1 – 1 of 1) sorted by relevance

/linux/tools/testing/selftests/rcutorture/formal/srcu-cbmc/
A DMakefile6 modified_srcu_input = $(LINUX_SOURCE)/include/linux/srcu.h \ macro
13 srcu.c: modify_srcu.awk Makefile $(modified_srcu_input)
14 awk -f modify_srcu.awk $(modified_srcu_input) $(modified_srcu_output)

Completed in 3 milliseconds