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

/linux/tools/testing/selftests/rcutorture/formal/srcu-cbmc/
A D	Makefile	4 LINUX_SOURCE = ../../../../../.. macro 6 modified_srcu_input = $(LINUX_SOURCE)/include/linux/srcu.h \ 7 $(LINUX_SOURCE)/kernel/rcu/srcu.c

Completed in 2 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023