1 // SPDX-License-Identifier: GPL-2.0 2 /* Deliberately has no .modinfo section. */ 3 target(int x)4 int target(int x) 5 { 6 #ifdef PATCHED 7 return x + 2; 8 #else 9 return x + 1; 10 #endif 11 } 12