| // SPDX-License-Identifier: GPL-2.0 | |
| /* Data whose value differs between the two builds. */ | |
| static const char __modinfo[] | |
| __attribute__((section(".modinfo"), used, aligned(1))) = "\0name=vmlinux"; | |
| #ifdef PATCHED | |
| int klp_test_data = 2; | |
| #else | |
| int klp_test_data = 1; | |
| #endif | |
| int target(int x) | |
| { | |
| return x + klp_test_data; | |
| } |