[jimc:folio-pool-v2-lockdep 6/21] kernel/bpf/verifier.c:19799:48: error: passing argument 4 of 'folio_pool_init_key' from incompatible pointer type

[jimc:folio-pool-v2-lockdep 6/21] kernel/bpf/verifier.c:19799:48: error: passing argument 4 of 'folio_pool_init_key' from incompatible pointer type

[kernel test robot]

tree:   https://github.com/jimc/linux.git folio-pool-v2-lockdep
head:   e77ee8289ea0755b0ee299348504d4568f942d71
commit: ae43aea8c1fa99e61d57341384a5f99c293d1f5f [6/21] bpf/verifier: Route verifier stack state node allocations to folio_pool
config: alpha-allmodconfig (https://download.01.org/0day-ci/archive/20260818/202608181109.MGRSLihF-lkp@intel.com/config)
compiler: alpha-linux-gcc (GCC) 16.1.0
reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20260818/202608181109.MGRSLihF-lkp@intel.com/reproduce)

If you fix the issue in a separate patch/commit (i.e. not just a new version of
the same patch/commit), kindly add following tags
| Reported-by: kernel test robot <lkp@intel.com>
| Closes: https://lore.kernel.org/oe-kbuild-all/202608181109.MGRSLihF-lkp@intel.com/

Note: the jimc/folio-pool-v2-lockdep HEAD e77ee8289ea0755b0ee299348504d4568f942d71 builds fine.
      It only hurts bisectability.

All errors (new ones prefixed by >>):

   kernel/bpf/verifier.c: In function 'bpf_check':
>> kernel/bpf/verifier.c:19799:48: error: passing argument 4 of 'folio_pool_init_key' from incompatible pointer type [-Wincompatible-pointer-types]
   19799 |                             get_order(SZ_64K), &bpf_state_pool_key);
         |                                                ^~~~~~~~~~~~~~~~~~~
         |                                                |
         |                                                struct static_key_true *
   In file included from include/linux/bpf_verifier.h:901,
                    from kernel/bpf/verifier.c:13:
   include/linux/folio_pool.h:240:45: note: expected 'struct static_key *' but argument is of type 'struct static_key_true *'
     240 |                          struct static_key *key);
         |                          ~~~~~~~~~~~~~~~~~~~^~~


vim +/folio_pool_init_key +19799 kernel/bpf/verifier.c

 19776	
 19777	int bpf_check(struct bpf_prog **prog, union bpf_attr *attr, bpfptr_t uattr,
 19778		      struct bpf_log_attr *attr_log)
 19779	{
 19780		u64 start_time = ktime_get_ns();
 19781		struct bpf_verifier_env *env;
 19782		int i, len, ret = -EINVAL, err;
 19783		bool is_priv;
 19784	
 19785		BTF_TYPE_EMIT(enum bpf_features);
 19786	
 19787		/* no program is valid */
 19788		if (ARRAY_SIZE(bpf_verifier_ops) == 0)
 19789			return -EINVAL;
 19790	
 19791		/* 'struct bpf_verifier_env' can be global, but since it's not small,
 19792		 * allocate/free it every time bpf_check() is called
 19793		 */
 19794		env = kvzalloc_obj(struct bpf_verifier_env, GFP_KERNEL_ACCOUNT);
 19795		if (!env)
 19796			return -ENOMEM;
 19797	
 19798		folio_pool_init_key(&env->state_pool, sizeof(struct bpf_verifier_stack_elem),
 19799				    get_order(SZ_64K), &bpf_state_pool_key);

--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki