| Server IP : 80.87.202.40 / Your IP : 216.73.216.169 Web Server : Apache System : Linux rospirotorg.ru 5.14.0-539.el9.x86_64 #1 SMP PREEMPT_DYNAMIC Thu Dec 5 22:26:13 UTC 2024 x86_64 User : bitrix ( 600) PHP Version : 8.2.27 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /usr/src/kernels/5.14.0-539.el9.x86_64/tools/testing/selftests/rcutorture/formal/srcu-cbmc/ |
Upload File : |
# SPDX-License-Identifier: GPL-2.0 all: srcu.c store_buffering LINUX_SOURCE = ../../../../../.. modified_srcu_input = $(LINUX_SOURCE)/include/linux/srcu.h \ $(LINUX_SOURCE)/kernel/rcu/srcu.c modified_srcu_output = include/linux/srcu.h srcu.c include/linux/srcu.h: srcu.c srcu.c: modify_srcu.awk Makefile $(modified_srcu_input) awk -f modify_srcu.awk $(modified_srcu_input) $(modified_srcu_output) store_buffering: @cd tests/store_buffering; make