From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from pdx-out-010.esa.us-west-2.outbound.mail-perimeter.amazon.com (pdx-out-010.esa.us-west-2.outbound.mail-perimeter.amazon.com [52.12.53.23]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id AAD495013B1; Fri, 25 Sep 2026 22:43:03 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=52.12.53.23 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1790376187; cv=none; b=jaAKribzjuYyEevv2S2/SN1EDCFPiLz/9DQbqBveaOrI5vM2Sc3WA+LCHQTMPY6fFBtYAxpzkn8qTbzn9S5un1oXnzO67WZQz1GjpyTnNVzcWrjUclzHIM8HMCxewtPuUaqV0mwxcIXNi0vrhutIWDz0YLt2Eh6ZcvrJ7R2pF/o= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1790376187; c=relaxed/simple; bh=KwpqmwsF1sQpbEvCmMlRaj4mYbXln0tvOzhmKzQYDeY=; h=From:To:CC:Subject:Date:Message-ID:In-Reply-To:References: MIME-Version:Content-Type; b=pqFieYtD+6fLvipPJAYxGa8e4cRvoqJkwYf8nNhJutovePmwUcYXioW0L3l6fmQx2/+Fij4O35+A0HYkVxQrtra3i8KyNfMZU2sSrpDMfUHlDK93WbOG8cEnvxiqPeu1aKYdCW4SIclkHz/kavAb7tJm5bep22TrVTtya9pZ7hQ= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=amazon.com; spf=pass smtp.mailfrom=amazon.com; dkim=pass (2048-bit key) header.d=amazon.com header.i=@amazon.com header.b=lh+0r6aY; arc=none smtp.client-ip=52.12.53.23 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=amazon.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=amazon.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=amazon.com header.i=@amazon.com header.b="lh+0r6aY" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=amazon.com; i=@amazon.com; q=dns/txt; s=amazoncorp2; t=1790376184; x=1821912184; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=bau6/IkGUWwSYL/63heifuO6pd0Q29lnZdxpqEjTAf8=; b=lh+0r6aYsHEPXMfh54erPQz+4MYD7Cavka5E/IentzcI5icEtGQjpilG y6l6VZnn710dSTSAOcbQ4rBlA3KG4+VjSmGyfLzz293K+tsRaVyTy7Mj3 H41qoCYAga6bpHzl8W3Hp6jToYhVmiPSygqa+MxYQiM0Igj6ymYcOkrsR RAq1mLrXo78KU3anVJ4Rt1FHJn46yiC6xYhv+N/XBjeOOhTqo2PylKcTG SeTv6rEZYzAXWEKLJXLJgv6aliNr9/rhBlzGWT+9XzLW2+IAWmht5sETr EGMxVD6LRaBJSQgDaTprSVucpC4KOcK7P+VGY3mtOQt0JRMyMHLAwRs9Q A==; X-CSE-ConnectionGUID: hPkb4FcVQXqtpvcUNUa/aQ== X-CSE-MsgGUID: sLCMzbbsRhyuQ+sT7wC4Cw== X-IronPort-AV: E=Sophos;i="6.27,123,1787011200"; d="scan'208";a="29545384" Received: from ip-10-5-12-219.us-west-2.compute.internal (HELO smtpout.naws.us-west-2.prod.farcaster.email.amazon.dev) ([10.5.12.219]) by internal-pdx-out-010.esa.us-west-2.outbound.mail-perimeter.amazon.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 25 Sep 2026 22:43:01 +0000 Received: from EX19MTAUWB002.ant.amazon.com [205.251.233.48:16522] by smtpin.naws.us-west-2.prod.farcaster.email.amazon.dev [10.0.53.187:2525] with esmtp (Farcaster) id 00546296-fdd3-4f20-9456-671fd24d61e9; Fri, 25 Sep 2026 22:43:01 +0000 (UTC) X-Farcaster-Flow-ID: 00546296-fdd3-4f20-9456-671fd24d61e9 Received: from EX19D001UWA001.ant.amazon.com (10.13.138.214) by EX19MTAUWB002.ant.amazon.com (10.250.64.231) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA) id 15.2.2562.49; Fri, 25 Sep 2026 22:43:01 +0000 Received: from dev-dsk-wanjay-2c-d25651b4.us-west-2.amazon.com (172.19.198.4) by EX19D001UWA001.ant.amazon.com (10.13.138.214) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA) id 15.2.2562.49; Fri, 25 Sep 2026 22:43:00 +0000 From: Jay Wang To: , Alexei Starovoitov , "Daniel Borkmann" , Andrii Nakryiko , "Eduard Zingerman" , Kumar Kartikeya Dwivedi CC: Alan Maguire , Martin KaFai Lau , Yonghong Song , Jiri Olsa , Nathan Chancellor , Nicolas Schier , , Luis Chamberlain , Petr Pavlu , Sami Tolvanen , , Miguel Ojeda , , Arnd Bergmann , , Hazem Mohamed Abuelfotoh , Bjoern Doebel , Martin Pohlack , Subject: [PATCH bpf-next v3 2/9] bpf: split the kfunc, dtor kfunc and struct_ops registration bodies Date: Fri, 25 Sep 2026 22:42:22 +0000 Message-ID: <20260925224229.1850-3-wanjay@amazon.com> X-Mailer: git-send-email 2.47.3 In-Reply-To: <20260925224229.1850-1-wanjay@amazon.com> References: <20260925224229.1850-1-wanjay@amazon.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain X-ClientProxiedBy: EX19D031UWC001.ant.amazon.com (10.13.139.241) To EX19D001UWA001.ant.amazon.com (10.13.138.214) Split __register_btf_kfunc_id_set(), register_btf_id_dtor_kfuncs() and __register_bpf_struct_ops() into the part that looks up the BTF for the owner and the part that adds the registration to a given BTF: btf_kfunc_id_set_add(), btf_dtor_kfuncs_add() and btf_struct_ops_register(). In is_valid_value_type(), look up bpf_struct_ops_common_value in the btf the function was given rather than in the btf_vmlinux global. The id is a vmlinux id and a module BTF resolves it through its base, so the result is the same; the function already uses the passed btf for every other lookup. No functional change. With CONFIG_DEBUG_INFO_BTF=m, registrations made from initcalls before the vmlinux BTF is available are queued and applied later by the BTF parsing code, which needs the add-to-this-btf half on its own; the struct_ops ones are applied before the parsed vmlinux BTF is published, i.e. while btf_vmlinux is still NULL. Signed-off-by: Jay Wang --- kernel/bpf/bpf_struct_ops.c | 3 +- kernel/bpf/btf.c | 91 ++++++++++++++++++++++--------------- 2 files changed, 57 insertions(+), 37 deletions(-) diff --git a/kernel/bpf/bpf_struct_ops.c b/kernel/bpf/bpf_struct_ops.c index 1178acd72296..bf3004908d15 100644 --- a/kernel/bpf/bpf_struct_ops.c +++ b/kernel/bpf/bpf_struct_ops.c @@ -103,7 +103,8 @@ static bool is_valid_value_type(struct btf *btf, s32 value_id, } member = btf_type_member(vt); mt = btf_type_by_id(btf, member->type); - common_value_type = btf_type_by_id(btf_vmlinux, + /* a vmlinux id resolves through the base BTF of a module BTF too */ + common_value_type = btf_type_by_id(btf, st_ops_ids[IDX_ST_OPS_COMMON_VALUE_ID]); if (mt != common_value_type) { pr_warn("The first member of %s should be bpf_struct_ops_common_value\n", diff --git a/kernel/bpf/btf.c b/kernel/bpf/btf.c index 49c4ea7f75c5..93b5a509baef 100644 --- a/kernel/bpf/btf.c +++ b/kernel/bpf/btf.c @@ -9665,11 +9665,26 @@ u32 *btf_kfunc_is_modify_return(const struct btf *btf, u32 kfunc_btf_id, return btf_kfunc_id_set_contains(btf, BTF_KFUNC_HOOK_FMODRET, kfunc_btf_id); } +static int btf_kfunc_id_set_add(struct btf *btf, enum btf_kfunc_hook hook, + const struct btf_kfunc_id_set *kset) +{ + int ret, i; + + for (i = 0; i < kset->set->cnt; i++) { + ret = btf_check_kfunc_protos(btf, btf_relocate_id(btf, kset->set->pairs[i].id), + kset->set->pairs[i].flags); + if (ret) + return ret; + } + + return btf_populate_kfunc_set(btf, hook, kset); +} + static int __register_btf_kfunc_id_set(enum btf_kfunc_hook hook, const struct btf_kfunc_id_set *kset) { struct btf *btf; - int ret, i; + int ret; btf = btf_get_module_btf(kset->owner); if (!btf) @@ -9677,16 +9692,7 @@ static int __register_btf_kfunc_id_set(enum btf_kfunc_hook hook, if (IS_ERR(btf)) return PTR_ERR(btf); - for (i = 0; i < kset->set->cnt; i++) { - ret = btf_check_kfunc_protos(btf, btf_relocate_id(btf, kset->set->pairs[i].id), - kset->set->pairs[i].flags); - if (ret) - goto err_out; - } - - ret = btf_populate_kfunc_set(btf, hook, kset); - -err_out: + ret = btf_kfunc_id_set_add(btf, hook, kset); btf_put(btf); return ret; } @@ -9778,21 +9784,13 @@ static int btf_check_dtor_kfuncs(struct btf *btf, const struct btf_id_dtor_kfunc return 0; } -/* This function must be invoked only from initcalls/module init functions */ -int register_btf_id_dtor_kfuncs(const struct btf_id_dtor_kfunc *dtors, u32 add_cnt, - struct module *owner) +static int btf_dtor_kfuncs_add(struct btf *btf, const struct btf_id_dtor_kfunc *dtors, + u32 add_cnt) { struct btf_id_dtor_kfunc_tab *tab; - struct btf *btf; u32 tab_cnt, i; int ret; - btf = btf_get_module_btf(owner); - if (!btf) - return check_btf_kconfigs(owner, "dtor kfuncs"); - if (IS_ERR(btf)) - return PTR_ERR(btf); - if (add_cnt >= BTF_DTOR_KFUNC_MAX_CNT) { pr_err("cannot register more than %d kfunc destructors\n", BTF_DTOR_KFUNC_MAX_CNT); ret = -E2BIG; @@ -9849,6 +9847,23 @@ int register_btf_id_dtor_kfuncs(const struct btf_id_dtor_kfunc *dtors, u32 add_c end: if (ret) btf_free_dtor_kfunc_tab(btf); + return ret; +} + +/* This function must be invoked only from initcalls/module init functions */ +int register_btf_id_dtor_kfuncs(const struct btf_id_dtor_kfunc *dtors, u32 add_cnt, + struct module *owner) +{ + struct btf *btf; + int ret; + + btf = btf_get_module_btf(owner); + if (!btf) + return check_btf_kconfigs(owner, "dtor kfuncs"); + if (IS_ERR(btf)) + return PTR_ERR(btf); + + ret = btf_dtor_kfuncs_add(btf, dtors, add_cnt); btf_put(btf); return ret; } @@ -10487,32 +10502,36 @@ bpf_struct_ops_find(struct btf *btf, u32 type_id) return NULL; } -int __register_bpf_struct_ops(struct bpf_struct_ops *st_ops) +static int btf_struct_ops_register(struct btf *btf, struct bpf_struct_ops *st_ops) { struct bpf_verifier_log *log; - struct btf *btf; - int err = 0; - - btf = btf_get_module_btf(st_ops->owner); - if (!btf) - return check_btf_kconfigs(st_ops->owner, "struct_ops"); - if (IS_ERR(btf)) - return PTR_ERR(btf); + int err; log = kzalloc_obj(*log, GFP_KERNEL | __GFP_NOWARN); - if (!log) { - err = -ENOMEM; - goto errout; - } + if (!log) + return -ENOMEM; log->level = BPF_LOG_KERNEL; err = btf_add_struct_ops(btf, st_ops, log); -errout: kfree(log); - btf_put(btf); + return err; +} +int __register_bpf_struct_ops(struct bpf_struct_ops *st_ops) +{ + struct btf *btf; + int err; + + btf = btf_get_module_btf(st_ops->owner); + if (!btf) + return check_btf_kconfigs(st_ops->owner, "struct_ops"); + if (IS_ERR(btf)) + return PTR_ERR(btf); + + err = btf_struct_ops_register(btf, st_ops); + btf_put(btf); return err; } EXPORT_SYMBOL_GPL(__register_bpf_struct_ops); -- 2.47.3