kconfig.h « linux « include « srcu-cbmc « formal « rcutorture « selftests « testing « tools - blackbird-obmc-linux - Blackbird™ Linux sources for OpenBMC

summary refs log tree commit diff stats

path: root/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/kconfig.h

blob: f2860dd1b40744f8351d4b6adcd79e076093ccd5 (plain)

1	`#include <LINUX_SOURCE/linux/kconfig.h>`

OpenPOWER on IntegriCloud