HomeSort by relevance Sort by last modified time
    Searched refs:LINUX_SOURCE (Results 1 - 2 of 2) sorted by null

  /external/linux-kselftest/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/
kconfig.h 1 #include <LINUX_SOURCE/linux/kconfig.h>
  /external/linux-kselftest/tools/testing/selftests/rcutorture/formal/srcu-cbmc/
Makefile 4 LINUX_SOURCE = ../../../../../..
6 modified_srcu_input = $(LINUX_SOURCE)/include/linux/srcu.h \
7 $(LINUX_SOURCE)/kernel/rcu/srcu.c

Completed in 473 milliseconds