Re: [RFC PATCH v1 09/10] bpf: dispatch to sleepable file dynptr

[Eduard Zingerman <eddyz87@gmail.com>]

On Fri, 2025-10-03 at 17:04 +0100, Mykyta Yatsenko wrote:

[...]

>  /* bpf_type_flag contains a set of flags that are applicable to the values of
> diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h
> index 4c497e839526..6078d5e9b535 100644
> --- a/include/linux/bpf_verifier.h
> +++ b/include/linux/bpf_verifier.h
> @@ -581,6 +581,8 @@ struct bpf_insn_aux_data {
>  	u32 scc;
>  	/* registers alive before this instruction. */
>  	u16 live_regs_before;
> +	/* kfunc is called in sleepable context */
> +	bool kfunc_in_sleepable_ctx;

This is a subprog level property, so I'd track it in bpf_subprog_info.
Note that there is bpf_subprog_info->might_sleep flag already,
but it is not exactly what you want.

>  };
>  
>  #define MAX_USED_MAPS 64 /* max number of maps accessed by one eBPF program */

[...]