1a39e17b2SJakub Kicinski /*
20cd3cbedSJakub Kicinski * Copyright (C) 2017-2018 Netronome Systems, Inc.
3a39e17b2SJakub Kicinski *
4a39e17b2SJakub Kicinski * This software is licensed under the GNU General License Version 2,
5a39e17b2SJakub Kicinski * June 1991 as shown in the file COPYING in the top-level directory of this
6a39e17b2SJakub Kicinski * source tree.
7a39e17b2SJakub Kicinski *
8a39e17b2SJakub Kicinski * THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS"
9a39e17b2SJakub Kicinski * WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING,
10a39e17b2SJakub Kicinski * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
11a39e17b2SJakub Kicinski * FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE
12a39e17b2SJakub Kicinski * OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME
13a39e17b2SJakub Kicinski * THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION.
14a39e17b2SJakub Kicinski */
15a39e17b2SJakub Kicinski
16ab3f0063SJakub Kicinski #include <linux/bpf.h>
17ab3f0063SJakub Kicinski #include <linux/bpf_verifier.h>
18ab3f0063SJakub Kicinski #include <linux/bug.h>
19675fc275SJakub Kicinski #include <linux/kdev_t.h>
20ab3f0063SJakub Kicinski #include <linux/list.h>
219fd7c555SJakub Kicinski #include <linux/lockdep.h>
22ab3f0063SJakub Kicinski #include <linux/netdevice.h>
23ab3f0063SJakub Kicinski #include <linux/printk.h>
24675fc275SJakub Kicinski #include <linux/proc_ns.h>
259fd7c555SJakub Kicinski #include <linux/rhashtable.h>
26ab3f0063SJakub Kicinski #include <linux/rtnetlink.h>
27e0d3974aSJakub Kicinski #include <linux/rwsem.h>
28*8ef890dfSJakub Kicinski #include <net/netdev_lock.h>
29680ee045SJakub Kicinski #include <net/xdp.h>
30ab3f0063SJakub Kicinski
319fd7c555SJakub Kicinski /* Protects offdevs, members of bpf_offload_netdev and offload members
32a3884572SJakub Kicinski * of all progs.
33e0d3974aSJakub Kicinski * RTNL lock cannot be taken when holding this lock.
34e0d3974aSJakub Kicinski */
35e0d3974aSJakub Kicinski static DECLARE_RWSEM(bpf_devs_lock);
369fd7c555SJakub Kicinski
37602144c2SJakub Kicinski struct bpf_offload_dev {
381385d755SQuentin Monnet const struct bpf_prog_offload_ops *ops;
39602144c2SJakub Kicinski struct list_head netdevs;
40dd27c2e3SJakub Kicinski void *priv;
41602144c2SJakub Kicinski };
42602144c2SJakub Kicinski
439fd7c555SJakub Kicinski struct bpf_offload_netdev {
449fd7c555SJakub Kicinski struct rhash_head l;
459fd7c555SJakub Kicinski struct net_device *netdev;
462b3486bcSStanislav Fomichev struct bpf_offload_dev *offdev; /* NULL when bound-only */
479fd7c555SJakub Kicinski struct list_head progs;
489fd7c555SJakub Kicinski struct list_head maps;
49602144c2SJakub Kicinski struct list_head offdev_netdevs;
509fd7c555SJakub Kicinski };
519fd7c555SJakub Kicinski
529fd7c555SJakub Kicinski static const struct rhashtable_params offdevs_params = {
539fd7c555SJakub Kicinski .nelem_hint = 4,
549fd7c555SJakub Kicinski .key_len = sizeof(struct net_device *),
559fd7c555SJakub Kicinski .key_offset = offsetof(struct bpf_offload_netdev, netdev),
569fd7c555SJakub Kicinski .head_offset = offsetof(struct bpf_offload_netdev, l),
579fd7c555SJakub Kicinski .automatic_shrinking = true,
589fd7c555SJakub Kicinski };
599fd7c555SJakub Kicinski
609fd7c555SJakub Kicinski static struct rhashtable offdevs;
61ab3f0063SJakub Kicinski
bpf_dev_offload_check(struct net_device * netdev)625bc2d55cSJakub Kicinski static int bpf_dev_offload_check(struct net_device *netdev)
635bc2d55cSJakub Kicinski {
645bc2d55cSJakub Kicinski if (!netdev)
655bc2d55cSJakub Kicinski return -EINVAL;
665bc2d55cSJakub Kicinski if (!netdev->netdev_ops->ndo_bpf)
675bc2d55cSJakub Kicinski return -EOPNOTSUPP;
685bc2d55cSJakub Kicinski return 0;
695bc2d55cSJakub Kicinski }
705bc2d55cSJakub Kicinski
719fd7c555SJakub Kicinski static struct bpf_offload_netdev *
bpf_offload_find_netdev(struct net_device * netdev)729fd7c555SJakub Kicinski bpf_offload_find_netdev(struct net_device *netdev)
739fd7c555SJakub Kicinski {
749fd7c555SJakub Kicinski lockdep_assert_held(&bpf_devs_lock);
759fd7c555SJakub Kicinski
769fd7c555SJakub Kicinski return rhashtable_lookup_fast(&offdevs, &netdev, offdevs_params);
779fd7c555SJakub Kicinski }
789fd7c555SJakub Kicinski
__bpf_offload_dev_netdev_register(struct bpf_offload_dev * offdev,struct net_device * netdev)7989bbc53aSStanislav Fomichev static int __bpf_offload_dev_netdev_register(struct bpf_offload_dev *offdev,
8089bbc53aSStanislav Fomichev struct net_device *netdev)
8189bbc53aSStanislav Fomichev {
8289bbc53aSStanislav Fomichev struct bpf_offload_netdev *ondev;
8389bbc53aSStanislav Fomichev int err;
8489bbc53aSStanislav Fomichev
8589bbc53aSStanislav Fomichev ondev = kzalloc(sizeof(*ondev), GFP_KERNEL);
8689bbc53aSStanislav Fomichev if (!ondev)
8789bbc53aSStanislav Fomichev return -ENOMEM;
8889bbc53aSStanislav Fomichev
8989bbc53aSStanislav Fomichev ondev->netdev = netdev;
9089bbc53aSStanislav Fomichev ondev->offdev = offdev;
9189bbc53aSStanislav Fomichev INIT_LIST_HEAD(&ondev->progs);
9289bbc53aSStanislav Fomichev INIT_LIST_HEAD(&ondev->maps);
9389bbc53aSStanislav Fomichev
9489bbc53aSStanislav Fomichev err = rhashtable_insert_fast(&offdevs, &ondev->l, offdevs_params);
9589bbc53aSStanislav Fomichev if (err) {
9689bbc53aSStanislav Fomichev netdev_warn(netdev, "failed to register for BPF offload\n");
972b3486bcSStanislav Fomichev goto err_free;
9889bbc53aSStanislav Fomichev }
9989bbc53aSStanislav Fomichev
1002b3486bcSStanislav Fomichev if (offdev)
10189bbc53aSStanislav Fomichev list_add(&ondev->offdev_netdevs, &offdev->netdevs);
10289bbc53aSStanislav Fomichev return 0;
10389bbc53aSStanislav Fomichev
1042b3486bcSStanislav Fomichev err_free:
10589bbc53aSStanislav Fomichev kfree(ondev);
10689bbc53aSStanislav Fomichev return err;
10789bbc53aSStanislav Fomichev }
10889bbc53aSStanislav Fomichev
__bpf_prog_offload_destroy(struct bpf_prog * prog)10989bbc53aSStanislav Fomichev static void __bpf_prog_offload_destroy(struct bpf_prog *prog)
11089bbc53aSStanislav Fomichev {
11189bbc53aSStanislav Fomichev struct bpf_prog_offload *offload = prog->aux->offload;
11289bbc53aSStanislav Fomichev
11389bbc53aSStanislav Fomichev if (offload->dev_state)
11489bbc53aSStanislav Fomichev offload->offdev->ops->destroy(prog);
11589bbc53aSStanislav Fomichev
11689bbc53aSStanislav Fomichev list_del_init(&offload->offloads);
11789bbc53aSStanislav Fomichev kfree(offload);
11889bbc53aSStanislav Fomichev prog->aux->offload = NULL;
11989bbc53aSStanislav Fomichev }
12089bbc53aSStanislav Fomichev
bpf_map_offload_ndo(struct bpf_offloaded_map * offmap,enum bpf_netdev_command cmd)12189bbc53aSStanislav Fomichev static int bpf_map_offload_ndo(struct bpf_offloaded_map *offmap,
12289bbc53aSStanislav Fomichev enum bpf_netdev_command cmd)
12389bbc53aSStanislav Fomichev {
12489bbc53aSStanislav Fomichev struct netdev_bpf data = {};
12589bbc53aSStanislav Fomichev struct net_device *netdev;
12689bbc53aSStanislav Fomichev
12789bbc53aSStanislav Fomichev ASSERT_RTNL();
12889bbc53aSStanislav Fomichev
12989bbc53aSStanislav Fomichev data.command = cmd;
13089bbc53aSStanislav Fomichev data.offmap = offmap;
13189bbc53aSStanislav Fomichev /* Caller must make sure netdev is valid */
13289bbc53aSStanislav Fomichev netdev = offmap->netdev;
13389bbc53aSStanislav Fomichev
13489bbc53aSStanislav Fomichev return netdev->netdev_ops->ndo_bpf(netdev, &data);
13589bbc53aSStanislav Fomichev }
13689bbc53aSStanislav Fomichev
__bpf_map_offload_destroy(struct bpf_offloaded_map * offmap)13789bbc53aSStanislav Fomichev static void __bpf_map_offload_destroy(struct bpf_offloaded_map *offmap)
13889bbc53aSStanislav Fomichev {
13989bbc53aSStanislav Fomichev WARN_ON(bpf_map_offload_ndo(offmap, BPF_OFFLOAD_MAP_FREE));
14089bbc53aSStanislav Fomichev /* Make sure BPF_MAP_GET_NEXT_ID can't find this dead map */
141158e5e9eSTobias Klauser bpf_map_free_id(&offmap->map);
14289bbc53aSStanislav Fomichev list_del_init(&offmap->offloads);
14389bbc53aSStanislav Fomichev offmap->netdev = NULL;
14489bbc53aSStanislav Fomichev }
14589bbc53aSStanislav Fomichev
__bpf_offload_dev_netdev_unregister(struct bpf_offload_dev * offdev,struct net_device * netdev)14689bbc53aSStanislav Fomichev static void __bpf_offload_dev_netdev_unregister(struct bpf_offload_dev *offdev,
14789bbc53aSStanislav Fomichev struct net_device *netdev)
14889bbc53aSStanislav Fomichev {
1492b3486bcSStanislav Fomichev struct bpf_offload_netdev *ondev, *altdev = NULL;
15089bbc53aSStanislav Fomichev struct bpf_offloaded_map *offmap, *mtmp;
15189bbc53aSStanislav Fomichev struct bpf_prog_offload *offload, *ptmp;
15289bbc53aSStanislav Fomichev
15389bbc53aSStanislav Fomichev ASSERT_RTNL();
15489bbc53aSStanislav Fomichev
15589bbc53aSStanislav Fomichev ondev = rhashtable_lookup_fast(&offdevs, &netdev, offdevs_params);
15689bbc53aSStanislav Fomichev if (WARN_ON(!ondev))
1572b3486bcSStanislav Fomichev return;
15889bbc53aSStanislav Fomichev
15989bbc53aSStanislav Fomichev WARN_ON(rhashtable_remove_fast(&offdevs, &ondev->l, offdevs_params));
16089bbc53aSStanislav Fomichev
16189bbc53aSStanislav Fomichev /* Try to move the objects to another netdev of the device */
1622b3486bcSStanislav Fomichev if (offdev) {
1632b3486bcSStanislav Fomichev list_del(&ondev->offdev_netdevs);
16489bbc53aSStanislav Fomichev altdev = list_first_entry_or_null(&offdev->netdevs,
16589bbc53aSStanislav Fomichev struct bpf_offload_netdev,
16689bbc53aSStanislav Fomichev offdev_netdevs);
1672b3486bcSStanislav Fomichev }
1682b3486bcSStanislav Fomichev
16989bbc53aSStanislav Fomichev if (altdev) {
17089bbc53aSStanislav Fomichev list_for_each_entry(offload, &ondev->progs, offloads)
17189bbc53aSStanislav Fomichev offload->netdev = altdev->netdev;
17289bbc53aSStanislav Fomichev list_splice_init(&ondev->progs, &altdev->progs);
17389bbc53aSStanislav Fomichev
17489bbc53aSStanislav Fomichev list_for_each_entry(offmap, &ondev->maps, offloads)
17589bbc53aSStanislav Fomichev offmap->netdev = altdev->netdev;
17689bbc53aSStanislav Fomichev list_splice_init(&ondev->maps, &altdev->maps);
17789bbc53aSStanislav Fomichev } else {
17889bbc53aSStanislav Fomichev list_for_each_entry_safe(offload, ptmp, &ondev->progs, offloads)
17989bbc53aSStanislav Fomichev __bpf_prog_offload_destroy(offload->prog);
18089bbc53aSStanislav Fomichev list_for_each_entry_safe(offmap, mtmp, &ondev->maps, offloads)
18189bbc53aSStanislav Fomichev __bpf_map_offload_destroy(offmap);
18289bbc53aSStanislav Fomichev }
18389bbc53aSStanislav Fomichev
18489bbc53aSStanislav Fomichev WARN_ON(!list_empty(&ondev->progs));
18589bbc53aSStanislav Fomichev WARN_ON(!list_empty(&ondev->maps));
18689bbc53aSStanislav Fomichev kfree(ondev);
18789bbc53aSStanislav Fomichev }
18889bbc53aSStanislav Fomichev
__bpf_prog_dev_bound_init(struct bpf_prog * prog,struct net_device * netdev)189fd7c211dSToke Høiland-Jørgensen static int __bpf_prog_dev_bound_init(struct bpf_prog *prog, struct net_device *netdev)
190ab3f0063SJakub Kicinski {
1919fd7c555SJakub Kicinski struct bpf_offload_netdev *ondev;
1920a9c1991SJakub Kicinski struct bpf_prog_offload *offload;
1935bc2d55cSJakub Kicinski int err;
194ab3f0063SJakub Kicinski
195ab3f0063SJakub Kicinski offload = kzalloc(sizeof(*offload), GFP_USER);
196ab3f0063SJakub Kicinski if (!offload)
197ab3f0063SJakub Kicinski return -ENOMEM;
198ab3f0063SJakub Kicinski
199ab3f0063SJakub Kicinski offload->prog = prog;
200fd7c211dSToke Høiland-Jørgensen offload->netdev = netdev;
201ab3f0063SJakub Kicinski
2029fd7c555SJakub Kicinski ondev = bpf_offload_find_netdev(offload->netdev);
2031a49f419SEduard Zingerman /* When program is offloaded require presence of "true"
2041a49f419SEduard Zingerman * bpf_offload_netdev, avoid the one created for !ondev case below.
2051a49f419SEduard Zingerman */
2061a49f419SEduard Zingerman if (bpf_prog_is_offloaded(prog->aux) && (!ondev || !ondev->offdev)) {
2075bc2d55cSJakub Kicinski err = -EINVAL;
208fd7c211dSToke Høiland-Jørgensen goto err_free;
209fd7c211dSToke Høiland-Jørgensen }
2101a49f419SEduard Zingerman if (!ondev) {
211fd7c211dSToke Høiland-Jørgensen /* When only binding to the device, explicitly
212fd7c211dSToke Høiland-Jørgensen * create an entry in the hashtable.
213fd7c211dSToke Høiland-Jørgensen */
214fd7c211dSToke Høiland-Jørgensen err = __bpf_offload_dev_netdev_register(NULL, offload->netdev);
215fd7c211dSToke Høiland-Jørgensen if (err)
216fd7c211dSToke Høiland-Jørgensen goto err_free;
217fd7c211dSToke Høiland-Jørgensen ondev = bpf_offload_find_netdev(offload->netdev);
2185bc2d55cSJakub Kicinski }
219341b3e7bSQuentin Monnet offload->offdev = ondev->offdev;
220ab3f0063SJakub Kicinski prog->aux->offload = offload;
2219fd7c555SJakub Kicinski list_add_tail(&offload->offloads, &ondev->progs);
222ab3f0063SJakub Kicinski
223ab3f0063SJakub Kicinski return 0;
224fd7c211dSToke Høiland-Jørgensen err_free:
225e0d3974aSJakub Kicinski kfree(offload);
2265bc2d55cSJakub Kicinski return err;
227ab3f0063SJakub Kicinski }
228ab3f0063SJakub Kicinski
bpf_prog_dev_bound_init(struct bpf_prog * prog,union bpf_attr * attr)229fd7c211dSToke Høiland-Jørgensen int bpf_prog_dev_bound_init(struct bpf_prog *prog, union bpf_attr *attr)
230fd7c211dSToke Høiland-Jørgensen {
231fd7c211dSToke Høiland-Jørgensen struct net_device *netdev;
232fd7c211dSToke Høiland-Jørgensen int err;
233fd7c211dSToke Høiland-Jørgensen
234ab3f0063SJakub Kicinski if (attr->prog_type != BPF_PROG_TYPE_SCHED_CLS &&
235ab3f0063SJakub Kicinski attr->prog_type != BPF_PROG_TYPE_XDP)
236ab3f0063SJakub Kicinski return -EINVAL;
237ab3f0063SJakub Kicinski
2389b2b8633SLarysa Zaremba if (attr->prog_flags & ~(BPF_F_XDP_DEV_BOUND_ONLY | BPF_F_XDP_HAS_FRAGS))
2399b2b8633SLarysa Zaremba return -EINVAL;
2409b2b8633SLarysa Zaremba
2419b2b8633SLarysa Zaremba /* Frags are allowed only if program is dev-bound-only, but not
2429b2b8633SLarysa Zaremba * if it is requesting bpf offload.
2439b2b8633SLarysa Zaremba */
2449b2b8633SLarysa Zaremba if (attr->prog_flags & BPF_F_XDP_HAS_FRAGS &&
2459b2b8633SLarysa Zaremba !(attr->prog_flags & BPF_F_XDP_DEV_BOUND_ONLY))
2462b3486bcSStanislav Fomichev return -EINVAL;
2472b3486bcSStanislav Fomichev
2482b3486bcSStanislav Fomichev if (attr->prog_type == BPF_PROG_TYPE_SCHED_CLS &&
2492b3486bcSStanislav Fomichev attr->prog_flags & BPF_F_XDP_DEV_BOUND_ONLY)
250ab3f0063SJakub Kicinski return -EINVAL;
251ab3f0063SJakub Kicinski
252fd7c211dSToke Høiland-Jørgensen netdev = dev_get_by_index(current->nsproxy->net_ns, attr->prog_ifindex);
253fd7c211dSToke Høiland-Jørgensen if (!netdev)
254fd7c211dSToke Høiland-Jørgensen return -EINVAL;
255ab3f0063SJakub Kicinski
256fd7c211dSToke Høiland-Jørgensen err = bpf_dev_offload_check(netdev);
257ab3f0063SJakub Kicinski if (err)
258fd7c211dSToke Høiland-Jørgensen goto out;
259ab3f0063SJakub Kicinski
2602b3486bcSStanislav Fomichev prog->aux->offload_requested = !(attr->prog_flags & BPF_F_XDP_DEV_BOUND_ONLY);
2612b3486bcSStanislav Fomichev
262ab3f0063SJakub Kicinski down_write(&bpf_devs_lock);
263fd7c211dSToke Høiland-Jørgensen err = __bpf_prog_dev_bound_init(prog, netdev);
264ab3f0063SJakub Kicinski up_write(&bpf_devs_lock);
265ab3f0063SJakub Kicinski
266fd7c211dSToke Høiland-Jørgensen out:
267fd7c211dSToke Høiland-Jørgensen dev_put(netdev);
268fd7c211dSToke Høiland-Jørgensen return err;
269fd7c211dSToke Høiland-Jørgensen }
270fd7c211dSToke Høiland-Jørgensen
bpf_prog_dev_bound_inherit(struct bpf_prog * new_prog,struct bpf_prog * old_prog)271fd7c211dSToke Høiland-Jørgensen int bpf_prog_dev_bound_inherit(struct bpf_prog *new_prog, struct bpf_prog *old_prog)
272fd7c211dSToke Høiland-Jørgensen {
273fd7c211dSToke Høiland-Jørgensen int err;
274fd7c211dSToke Høiland-Jørgensen
275fd7c211dSToke Høiland-Jørgensen if (!bpf_prog_is_dev_bound(old_prog->aux))
276ab3f0063SJakub Kicinski return 0;
277fd7c211dSToke Høiland-Jørgensen
278fd7c211dSToke Høiland-Jørgensen if (bpf_prog_is_offloaded(old_prog->aux))
279fd7c211dSToke Høiland-Jørgensen return -EINVAL;
280fd7c211dSToke Høiland-Jørgensen
281fd7c211dSToke Høiland-Jørgensen new_prog->aux->dev_bound = old_prog->aux->dev_bound;
282fd7c211dSToke Høiland-Jørgensen new_prog->aux->offload_requested = old_prog->aux->offload_requested;
283fd7c211dSToke Høiland-Jørgensen
284fd7c211dSToke Høiland-Jørgensen down_write(&bpf_devs_lock);
285fd7c211dSToke Høiland-Jørgensen if (!old_prog->aux->offload) {
286fd7c211dSToke Høiland-Jørgensen err = -EINVAL;
287fd7c211dSToke Høiland-Jørgensen goto out;
288fd7c211dSToke Høiland-Jørgensen }
289fd7c211dSToke Høiland-Jørgensen
290fd7c211dSToke Høiland-Jørgensen err = __bpf_prog_dev_bound_init(new_prog, old_prog->aux->offload->netdev);
291fd7c211dSToke Høiland-Jørgensen
292fd7c211dSToke Høiland-Jørgensen out:
293ab3f0063SJakub Kicinski up_write(&bpf_devs_lock);
294ab3f0063SJakub Kicinski return err;
295ab3f0063SJakub Kicinski }
296ab3f0063SJakub Kicinski
bpf_prog_offload_verifier_prep(struct bpf_prog * prog)297a40a2632SQuentin Monnet int bpf_prog_offload_verifier_prep(struct bpf_prog *prog)
298ab3f0063SJakub Kicinski {
29900db12c3SQuentin Monnet struct bpf_prog_offload *offload;
30000db12c3SQuentin Monnet int ret = -ENODEV;
301ab3f0063SJakub Kicinski
30200db12c3SQuentin Monnet down_read(&bpf_devs_lock);
303a40a2632SQuentin Monnet offload = prog->aux->offload;
304592ee43fSColin Ian King if (offload) {
30516a8cb5cSQuentin Monnet ret = offload->offdev->ops->prepare(prog);
30600db12c3SQuentin Monnet offload->dev_state = !ret;
307592ee43fSColin Ian King }
30800db12c3SQuentin Monnet up_read(&bpf_devs_lock);
309ab3f0063SJakub Kicinski
31000db12c3SQuentin Monnet return ret;
311ab3f0063SJakub Kicinski }
312ab3f0063SJakub Kicinski
bpf_prog_offload_verify_insn(struct bpf_verifier_env * env,int insn_idx,int prev_insn_idx)313cae1927cSJakub Kicinski int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
314cae1927cSJakub Kicinski int insn_idx, int prev_insn_idx)
315cae1927cSJakub Kicinski {
3160a9c1991SJakub Kicinski struct bpf_prog_offload *offload;
317cae1927cSJakub Kicinski int ret = -ENODEV;
318cae1927cSJakub Kicinski
319cae1927cSJakub Kicinski down_read(&bpf_devs_lock);
320cae1927cSJakub Kicinski offload = env->prog->aux->offload;
321ce3b9db4SJakub Kicinski if (offload)
322341b3e7bSQuentin Monnet ret = offload->offdev->ops->insn_hook(env, insn_idx,
323341b3e7bSQuentin Monnet prev_insn_idx);
324cae1927cSJakub Kicinski up_read(&bpf_devs_lock);
325cae1927cSJakub Kicinski
326cae1927cSJakub Kicinski return ret;
327cae1927cSJakub Kicinski }
328cae1927cSJakub Kicinski
bpf_prog_offload_finalize(struct bpf_verifier_env * env)329c941ce9cSQuentin Monnet int bpf_prog_offload_finalize(struct bpf_verifier_env *env)
330c941ce9cSQuentin Monnet {
331c941ce9cSQuentin Monnet struct bpf_prog_offload *offload;
332c941ce9cSQuentin Monnet int ret = -ENODEV;
333c941ce9cSQuentin Monnet
334c941ce9cSQuentin Monnet down_read(&bpf_devs_lock);
335c941ce9cSQuentin Monnet offload = env->prog->aux->offload;
336c941ce9cSQuentin Monnet if (offload) {
3376dc18fa6SQuentin Monnet if (offload->offdev->ops->finalize)
3386dc18fa6SQuentin Monnet ret = offload->offdev->ops->finalize(env);
339c941ce9cSQuentin Monnet else
340c941ce9cSQuentin Monnet ret = 0;
341c941ce9cSQuentin Monnet }
342c941ce9cSQuentin Monnet up_read(&bpf_devs_lock);
343c941ce9cSQuentin Monnet
344c941ce9cSQuentin Monnet return ret;
345c941ce9cSQuentin Monnet }
346c941ce9cSQuentin Monnet
34708ca90afSJakub Kicinski void
bpf_prog_offload_replace_insn(struct bpf_verifier_env * env,u32 off,struct bpf_insn * insn)34808ca90afSJakub Kicinski bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off,
34908ca90afSJakub Kicinski struct bpf_insn *insn)
35008ca90afSJakub Kicinski {
35108ca90afSJakub Kicinski const struct bpf_prog_offload_ops *ops;
35208ca90afSJakub Kicinski struct bpf_prog_offload *offload;
35308ca90afSJakub Kicinski int ret = -EOPNOTSUPP;
35408ca90afSJakub Kicinski
35508ca90afSJakub Kicinski down_read(&bpf_devs_lock);
35608ca90afSJakub Kicinski offload = env->prog->aux->offload;
35708ca90afSJakub Kicinski if (offload) {
35808ca90afSJakub Kicinski ops = offload->offdev->ops;
35908ca90afSJakub Kicinski if (!offload->opt_failed && ops->replace_insn)
36008ca90afSJakub Kicinski ret = ops->replace_insn(env, off, insn);
36108ca90afSJakub Kicinski offload->opt_failed |= ret;
36208ca90afSJakub Kicinski }
36308ca90afSJakub Kicinski up_read(&bpf_devs_lock);
36408ca90afSJakub Kicinski }
36508ca90afSJakub Kicinski
36608ca90afSJakub Kicinski void
bpf_prog_offload_remove_insns(struct bpf_verifier_env * env,u32 off,u32 cnt)36708ca90afSJakub Kicinski bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt)
36808ca90afSJakub Kicinski {
36908ca90afSJakub Kicinski struct bpf_prog_offload *offload;
37008ca90afSJakub Kicinski int ret = -EOPNOTSUPP;
37108ca90afSJakub Kicinski
37208ca90afSJakub Kicinski down_read(&bpf_devs_lock);
37308ca90afSJakub Kicinski offload = env->prog->aux->offload;
37408ca90afSJakub Kicinski if (offload) {
37508ca90afSJakub Kicinski if (!offload->opt_failed && offload->offdev->ops->remove_insns)
37608ca90afSJakub Kicinski ret = offload->offdev->ops->remove_insns(env, off, cnt);
37708ca90afSJakub Kicinski offload->opt_failed |= ret;
37808ca90afSJakub Kicinski }
37908ca90afSJakub Kicinski up_read(&bpf_devs_lock);
38008ca90afSJakub Kicinski }
38108ca90afSJakub Kicinski
bpf_prog_dev_bound_destroy(struct bpf_prog * prog)3822b3486bcSStanislav Fomichev void bpf_prog_dev_bound_destroy(struct bpf_prog *prog)
383ab3f0063SJakub Kicinski {
3842b3486bcSStanislav Fomichev struct bpf_offload_netdev *ondev;
3852b3486bcSStanislav Fomichev struct net_device *netdev;
386ab3f0063SJakub Kicinski
3872b3486bcSStanislav Fomichev rtnl_lock();
388e0d3974aSJakub Kicinski down_write(&bpf_devs_lock);
3892b3486bcSStanislav Fomichev if (prog->aux->offload) {
3902b3486bcSStanislav Fomichev list_del_init(&prog->aux->offload->offloads);
3912b3486bcSStanislav Fomichev
3922b3486bcSStanislav Fomichev netdev = prog->aux->offload->netdev;
393ab3f0063SJakub Kicinski __bpf_prog_offload_destroy(prog);
3942b3486bcSStanislav Fomichev
3952b3486bcSStanislav Fomichev ondev = bpf_offload_find_netdev(netdev);
3962b3486bcSStanislav Fomichev if (!ondev->offdev && list_empty(&ondev->progs))
3972b3486bcSStanislav Fomichev __bpf_offload_dev_netdev_unregister(NULL, netdev);
3982b3486bcSStanislav Fomichev }
399e0d3974aSJakub Kicinski up_write(&bpf_devs_lock);
4002b3486bcSStanislav Fomichev rtnl_unlock();
401ab3f0063SJakub Kicinski }
402ab3f0063SJakub Kicinski
bpf_prog_offload_translate(struct bpf_prog * prog)403ab3f0063SJakub Kicinski static int bpf_prog_offload_translate(struct bpf_prog *prog)
404ab3f0063SJakub Kicinski {
405b07ade27SQuentin Monnet struct bpf_prog_offload *offload;
406b07ade27SQuentin Monnet int ret = -ENODEV;
407ab3f0063SJakub Kicinski
408b07ade27SQuentin Monnet down_read(&bpf_devs_lock);
409b07ade27SQuentin Monnet offload = prog->aux->offload;
410b07ade27SQuentin Monnet if (offload)
41116a8cb5cSQuentin Monnet ret = offload->offdev->ops->translate(prog);
412b07ade27SQuentin Monnet up_read(&bpf_devs_lock);
413ab3f0063SJakub Kicinski
414ab3f0063SJakub Kicinski return ret;
415ab3f0063SJakub Kicinski }
416ab3f0063SJakub Kicinski
bpf_prog_warn_on_exec(const void * ctx,const struct bpf_insn * insn)417ab3f0063SJakub Kicinski static unsigned int bpf_prog_warn_on_exec(const void *ctx,
418ab3f0063SJakub Kicinski const struct bpf_insn *insn)
419ab3f0063SJakub Kicinski {
420ab3f0063SJakub Kicinski WARN(1, "attempt to execute device eBPF program on the host!");
421ab3f0063SJakub Kicinski return 0;
422ab3f0063SJakub Kicinski }
423ab3f0063SJakub Kicinski
bpf_prog_offload_compile(struct bpf_prog * prog)424ab3f0063SJakub Kicinski int bpf_prog_offload_compile(struct bpf_prog *prog)
425ab3f0063SJakub Kicinski {
426ab3f0063SJakub Kicinski prog->bpf_func = bpf_prog_warn_on_exec;
427ab3f0063SJakub Kicinski
428ab3f0063SJakub Kicinski return bpf_prog_offload_translate(prog);
429ab3f0063SJakub Kicinski }
430ab3f0063SJakub Kicinski
431675fc275SJakub Kicinski struct ns_get_path_bpf_prog_args {
432675fc275SJakub Kicinski struct bpf_prog *prog;
433675fc275SJakub Kicinski struct bpf_prog_info *info;
434675fc275SJakub Kicinski };
435675fc275SJakub Kicinski
bpf_prog_offload_info_fill_ns(void * private_data)436675fc275SJakub Kicinski static struct ns_common *bpf_prog_offload_info_fill_ns(void *private_data)
437675fc275SJakub Kicinski {
438675fc275SJakub Kicinski struct ns_get_path_bpf_prog_args *args = private_data;
439675fc275SJakub Kicinski struct bpf_prog_aux *aux = args->prog->aux;
440675fc275SJakub Kicinski struct ns_common *ns;
441675fc275SJakub Kicinski struct net *net;
442675fc275SJakub Kicinski
443675fc275SJakub Kicinski rtnl_lock();
444675fc275SJakub Kicinski down_read(&bpf_devs_lock);
445675fc275SJakub Kicinski
446675fc275SJakub Kicinski if (aux->offload) {
447675fc275SJakub Kicinski args->info->ifindex = aux->offload->netdev->ifindex;
448675fc275SJakub Kicinski net = dev_net(aux->offload->netdev);
449675fc275SJakub Kicinski get_net(net);
450675fc275SJakub Kicinski ns = &net->ns;
451675fc275SJakub Kicinski } else {
452675fc275SJakub Kicinski args->info->ifindex = 0;
453675fc275SJakub Kicinski ns = NULL;
454675fc275SJakub Kicinski }
455675fc275SJakub Kicinski
456675fc275SJakub Kicinski up_read(&bpf_devs_lock);
457675fc275SJakub Kicinski rtnl_unlock();
458675fc275SJakub Kicinski
459675fc275SJakub Kicinski return ns;
460675fc275SJakub Kicinski }
461675fc275SJakub Kicinski
bpf_prog_offload_info_fill(struct bpf_prog_info * info,struct bpf_prog * prog)462675fc275SJakub Kicinski int bpf_prog_offload_info_fill(struct bpf_prog_info *info,
463675fc275SJakub Kicinski struct bpf_prog *prog)
464675fc275SJakub Kicinski {
465675fc275SJakub Kicinski struct ns_get_path_bpf_prog_args args = {
466675fc275SJakub Kicinski .prog = prog,
467675fc275SJakub Kicinski .info = info,
468675fc275SJakub Kicinski };
469fcfb126dSJiong Wang struct bpf_prog_aux *aux = prog->aux;
470675fc275SJakub Kicinski struct inode *ns_inode;
471675fc275SJakub Kicinski struct path ns_path;
472fcfb126dSJiong Wang char __user *uinsns;
473ce623f89SAleksa Sarai int res;
474fcfb126dSJiong Wang u32 ulen;
475675fc275SJakub Kicinski
476675fc275SJakub Kicinski res = ns_get_path_cb(&ns_path, bpf_prog_offload_info_fill_ns, &args);
477ce623f89SAleksa Sarai if (res) {
478675fc275SJakub Kicinski if (!info->ifindex)
479675fc275SJakub Kicinski return -ENODEV;
480ce623f89SAleksa Sarai return res;
481675fc275SJakub Kicinski }
482675fc275SJakub Kicinski
483fcfb126dSJiong Wang down_read(&bpf_devs_lock);
484fcfb126dSJiong Wang
485fcfb126dSJiong Wang if (!aux->offload) {
486fcfb126dSJiong Wang up_read(&bpf_devs_lock);
487fcfb126dSJiong Wang return -ENODEV;
488fcfb126dSJiong Wang }
489fcfb126dSJiong Wang
490fcfb126dSJiong Wang ulen = info->jited_prog_len;
491fcfb126dSJiong Wang info->jited_prog_len = aux->offload->jited_len;
492e20d3a05SJohannes Krude if (info->jited_prog_len && ulen) {
493fcfb126dSJiong Wang uinsns = u64_to_user_ptr(info->jited_prog_insns);
494fcfb126dSJiong Wang ulen = min_t(u32, info->jited_prog_len, ulen);
495fcfb126dSJiong Wang if (copy_to_user(uinsns, aux->offload->jited_image, ulen)) {
496fcfb126dSJiong Wang up_read(&bpf_devs_lock);
497fcfb126dSJiong Wang return -EFAULT;
498fcfb126dSJiong Wang }
499fcfb126dSJiong Wang }
500fcfb126dSJiong Wang
501fcfb126dSJiong Wang up_read(&bpf_devs_lock);
502fcfb126dSJiong Wang
503675fc275SJakub Kicinski ns_inode = ns_path.dentry->d_inode;
504675fc275SJakub Kicinski info->netns_dev = new_encode_dev(ns_inode->i_sb->s_dev);
505675fc275SJakub Kicinski info->netns_ino = ns_inode->i_ino;
506675fc275SJakub Kicinski path_put(&ns_path);
507675fc275SJakub Kicinski
508675fc275SJakub Kicinski return 0;
509675fc275SJakub Kicinski }
510675fc275SJakub Kicinski
511ab3f0063SJakub Kicinski const struct bpf_prog_ops bpf_offload_prog_ops = {
512ab3f0063SJakub Kicinski };
513ab3f0063SJakub Kicinski
bpf_map_offload_map_alloc(union bpf_attr * attr)514a3884572SJakub Kicinski struct bpf_map *bpf_map_offload_map_alloc(union bpf_attr *attr)
515a3884572SJakub Kicinski {
516a3884572SJakub Kicinski struct net *net = current->nsproxy->net_ns;
5179fd7c555SJakub Kicinski struct bpf_offload_netdev *ondev;
518a3884572SJakub Kicinski struct bpf_offloaded_map *offmap;
519a3884572SJakub Kicinski int err;
520a3884572SJakub Kicinski
521a3884572SJakub Kicinski if (!capable(CAP_SYS_ADMIN))
522a3884572SJakub Kicinski return ERR_PTR(-EPERM);
5237a0ef693SJakub Kicinski if (attr->map_type != BPF_MAP_TYPE_ARRAY &&
5247a0ef693SJakub Kicinski attr->map_type != BPF_MAP_TYPE_HASH)
525a3884572SJakub Kicinski return ERR_PTR(-EINVAL);
526a3884572SJakub Kicinski
52773cf09a3SYafang Shao offmap = bpf_map_area_alloc(sizeof(*offmap), NUMA_NO_NODE);
528a3884572SJakub Kicinski if (!offmap)
529a3884572SJakub Kicinski return ERR_PTR(-ENOMEM);
530a3884572SJakub Kicinski
531a3884572SJakub Kicinski bpf_map_init_from_attr(&offmap->map, attr);
532a3884572SJakub Kicinski rtnl_lock();
533a3884572SJakub Kicinski offmap->netdev = __dev_get_by_index(net, attr->map_ifindex);
534a3884572SJakub Kicinski err = bpf_dev_offload_check(offmap->netdev);
535a3884572SJakub Kicinski if (err)
5360a5c8b2cSEric Dumazet goto err_unlock_rtnl;
5370a5c8b2cSEric Dumazet
5380a5c8b2cSEric Dumazet netdev_lock_ops(offmap->netdev);
5390a5c8b2cSEric Dumazet down_write(&bpf_devs_lock);
540a3884572SJakub Kicinski
5419fd7c555SJakub Kicinski ondev = bpf_offload_find_netdev(offmap->netdev);
5429fd7c555SJakub Kicinski if (!ondev) {
5439fd7c555SJakub Kicinski err = -EINVAL;
5449fd7c555SJakub Kicinski goto err_unlock;
5459fd7c555SJakub Kicinski }
5469fd7c555SJakub Kicinski
547a3884572SJakub Kicinski err = bpf_map_offload_ndo(offmap, BPF_OFFLOAD_MAP_ALLOC);
548a3884572SJakub Kicinski if (err)
549a3884572SJakub Kicinski goto err_unlock;
550a3884572SJakub Kicinski
5519fd7c555SJakub Kicinski list_add_tail(&offmap->offloads, &ondev->maps);
552a3884572SJakub Kicinski up_write(&bpf_devs_lock);
55397246d6dSStanislav Fomichev netdev_unlock_ops(offmap->netdev);
554a3884572SJakub Kicinski rtnl_unlock();
555a3884572SJakub Kicinski
556a3884572SJakub Kicinski return &offmap->map;
557a3884572SJakub Kicinski
558a3884572SJakub Kicinski err_unlock:
559a3884572SJakub Kicinski up_write(&bpf_devs_lock);
56097246d6dSStanislav Fomichev netdev_unlock_ops(offmap->netdev);
5610a5c8b2cSEric Dumazet err_unlock_rtnl:
562a3884572SJakub Kicinski rtnl_unlock();
56373cf09a3SYafang Shao bpf_map_area_free(offmap);
564a3884572SJakub Kicinski return ERR_PTR(err);
565a3884572SJakub Kicinski }
566a3884572SJakub Kicinski
bpf_map_offload_map_free(struct bpf_map * map)567a3884572SJakub Kicinski void bpf_map_offload_map_free(struct bpf_map *map)
568a3884572SJakub Kicinski {
569a3884572SJakub Kicinski struct bpf_offloaded_map *offmap = map_to_offmap(map);
570a3884572SJakub Kicinski
571a3884572SJakub Kicinski rtnl_lock();
572a3884572SJakub Kicinski down_write(&bpf_devs_lock);
573a3884572SJakub Kicinski if (offmap->netdev)
574a3884572SJakub Kicinski __bpf_map_offload_destroy(offmap);
575a3884572SJakub Kicinski up_write(&bpf_devs_lock);
576a3884572SJakub Kicinski rtnl_unlock();
577a3884572SJakub Kicinski
57873cf09a3SYafang Shao bpf_map_area_free(offmap);
579a3884572SJakub Kicinski }
580a3884572SJakub Kicinski
bpf_map_offload_map_mem_usage(const struct bpf_map * map)5819629363cSYafang Shao u64 bpf_map_offload_map_mem_usage(const struct bpf_map *map)
5829629363cSYafang Shao {
5839629363cSYafang Shao /* The memory dynamically allocated in netdev dev_ops is not counted */
5849629363cSYafang Shao return sizeof(struct bpf_offloaded_map);
5859629363cSYafang Shao }
5869629363cSYafang Shao
bpf_map_offload_lookup_elem(struct bpf_map * map,void * key,void * value)587a3884572SJakub Kicinski int bpf_map_offload_lookup_elem(struct bpf_map *map, void *key, void *value)
588a3884572SJakub Kicinski {
589a3884572SJakub Kicinski struct bpf_offloaded_map *offmap = map_to_offmap(map);
590a3884572SJakub Kicinski int ret = -ENODEV;
591a3884572SJakub Kicinski
592a3884572SJakub Kicinski down_read(&bpf_devs_lock);
593a3884572SJakub Kicinski if (offmap->netdev)
594a3884572SJakub Kicinski ret = offmap->dev_ops->map_lookup_elem(offmap, key, value);
595a3884572SJakub Kicinski up_read(&bpf_devs_lock);
596a3884572SJakub Kicinski
597a3884572SJakub Kicinski return ret;
598a3884572SJakub Kicinski }
599a3884572SJakub Kicinski
bpf_map_offload_update_elem(struct bpf_map * map,void * key,void * value,u64 flags)600a3884572SJakub Kicinski int bpf_map_offload_update_elem(struct bpf_map *map,
601a3884572SJakub Kicinski void *key, void *value, u64 flags)
602a3884572SJakub Kicinski {
603a3884572SJakub Kicinski struct bpf_offloaded_map *offmap = map_to_offmap(map);
604a3884572SJakub Kicinski int ret = -ENODEV;
605a3884572SJakub Kicinski
606a3884572SJakub Kicinski if (unlikely(flags > BPF_EXIST))
607a3884572SJakub Kicinski return -EINVAL;
608a3884572SJakub Kicinski
609a3884572SJakub Kicinski down_read(&bpf_devs_lock);
610a3884572SJakub Kicinski if (offmap->netdev)
611a3884572SJakub Kicinski ret = offmap->dev_ops->map_update_elem(offmap, key, value,
612a3884572SJakub Kicinski flags);
613a3884572SJakub Kicinski up_read(&bpf_devs_lock);
614a3884572SJakub Kicinski
615a3884572SJakub Kicinski return ret;
616a3884572SJakub Kicinski }
617a3884572SJakub Kicinski
bpf_map_offload_delete_elem(struct bpf_map * map,void * key)618a3884572SJakub Kicinski int bpf_map_offload_delete_elem(struct bpf_map *map, void *key)
619a3884572SJakub Kicinski {
620a3884572SJakub Kicinski struct bpf_offloaded_map *offmap = map_to_offmap(map);
621a3884572SJakub Kicinski int ret = -ENODEV;
622a3884572SJakub Kicinski
623a3884572SJakub Kicinski down_read(&bpf_devs_lock);
624a3884572SJakub Kicinski if (offmap->netdev)
625a3884572SJakub Kicinski ret = offmap->dev_ops->map_delete_elem(offmap, key);
626a3884572SJakub Kicinski up_read(&bpf_devs_lock);
627a3884572SJakub Kicinski
628a3884572SJakub Kicinski return ret;
629a3884572SJakub Kicinski }
630a3884572SJakub Kicinski
bpf_map_offload_get_next_key(struct bpf_map * map,void * key,void * next_key)631a3884572SJakub Kicinski int bpf_map_offload_get_next_key(struct bpf_map *map, void *key, void *next_key)
632a3884572SJakub Kicinski {
633a3884572SJakub Kicinski struct bpf_offloaded_map *offmap = map_to_offmap(map);
634a3884572SJakub Kicinski int ret = -ENODEV;
635a3884572SJakub Kicinski
636a3884572SJakub Kicinski down_read(&bpf_devs_lock);
637a3884572SJakub Kicinski if (offmap->netdev)
638a3884572SJakub Kicinski ret = offmap->dev_ops->map_get_next_key(offmap, key, next_key);
639a3884572SJakub Kicinski up_read(&bpf_devs_lock);
640a3884572SJakub Kicinski
641a3884572SJakub Kicinski return ret;
642a3884572SJakub Kicinski }
643a3884572SJakub Kicinski
64452775b33SJakub Kicinski struct ns_get_path_bpf_map_args {
64552775b33SJakub Kicinski struct bpf_offloaded_map *offmap;
64652775b33SJakub Kicinski struct bpf_map_info *info;
64752775b33SJakub Kicinski };
64852775b33SJakub Kicinski
bpf_map_offload_info_fill_ns(void * private_data)64952775b33SJakub Kicinski static struct ns_common *bpf_map_offload_info_fill_ns(void *private_data)
65052775b33SJakub Kicinski {
65152775b33SJakub Kicinski struct ns_get_path_bpf_map_args *args = private_data;
65252775b33SJakub Kicinski struct ns_common *ns;
65352775b33SJakub Kicinski struct net *net;
65452775b33SJakub Kicinski
65552775b33SJakub Kicinski rtnl_lock();
65652775b33SJakub Kicinski down_read(&bpf_devs_lock);
65752775b33SJakub Kicinski
65852775b33SJakub Kicinski if (args->offmap->netdev) {
65952775b33SJakub Kicinski args->info->ifindex = args->offmap->netdev->ifindex;
66052775b33SJakub Kicinski net = dev_net(args->offmap->netdev);
66152775b33SJakub Kicinski get_net(net);
66252775b33SJakub Kicinski ns = &net->ns;
66352775b33SJakub Kicinski } else {
66452775b33SJakub Kicinski args->info->ifindex = 0;
66552775b33SJakub Kicinski ns = NULL;
66652775b33SJakub Kicinski }
66752775b33SJakub Kicinski
66852775b33SJakub Kicinski up_read(&bpf_devs_lock);
66952775b33SJakub Kicinski rtnl_unlock();
67052775b33SJakub Kicinski
67152775b33SJakub Kicinski return ns;
67252775b33SJakub Kicinski }
67352775b33SJakub Kicinski
bpf_map_offload_info_fill(struct bpf_map_info * info,struct bpf_map * map)67452775b33SJakub Kicinski int bpf_map_offload_info_fill(struct bpf_map_info *info, struct bpf_map *map)
67552775b33SJakub Kicinski {
67652775b33SJakub Kicinski struct ns_get_path_bpf_map_args args = {
67752775b33SJakub Kicinski .offmap = map_to_offmap(map),
67852775b33SJakub Kicinski .info = info,
67952775b33SJakub Kicinski };
68052775b33SJakub Kicinski struct inode *ns_inode;
68152775b33SJakub Kicinski struct path ns_path;
682ce623f89SAleksa Sarai int res;
68352775b33SJakub Kicinski
68452775b33SJakub Kicinski res = ns_get_path_cb(&ns_path, bpf_map_offload_info_fill_ns, &args);
685ce623f89SAleksa Sarai if (res) {
68652775b33SJakub Kicinski if (!info->ifindex)
68752775b33SJakub Kicinski return -ENODEV;
688ce623f89SAleksa Sarai return res;
68952775b33SJakub Kicinski }
69052775b33SJakub Kicinski
69152775b33SJakub Kicinski ns_inode = ns_path.dentry->d_inode;
69252775b33SJakub Kicinski info->netns_dev = new_encode_dev(ns_inode->i_sb->s_dev);
69352775b33SJakub Kicinski info->netns_ino = ns_inode->i_ino;
69452775b33SJakub Kicinski path_put(&ns_path);
69552775b33SJakub Kicinski
69652775b33SJakub Kicinski return 0;
69752775b33SJakub Kicinski }
69852775b33SJakub Kicinski
__bpf_offload_dev_match(struct bpf_prog * prog,struct net_device * netdev)699fd4f227dSJakub Kicinski static bool __bpf_offload_dev_match(struct bpf_prog *prog,
700fd4f227dSJakub Kicinski struct net_device *netdev)
701a3884572SJakub Kicinski {
702fd4f227dSJakub Kicinski struct bpf_offload_netdev *ondev1, *ondev2;
703a3884572SJakub Kicinski struct bpf_prog_offload *offload;
704a3884572SJakub Kicinski
7050cd3cbedSJakub Kicinski if (!bpf_prog_is_dev_bound(prog->aux))
706a3884572SJakub Kicinski return false;
707fd4f227dSJakub Kicinski
708fd4f227dSJakub Kicinski offload = prog->aux->offload;
709fd4f227dSJakub Kicinski if (!offload)
710fd4f227dSJakub Kicinski return false;
711fd4f227dSJakub Kicinski if (offload->netdev == netdev)
712fd4f227dSJakub Kicinski return true;
713fd4f227dSJakub Kicinski
714fd4f227dSJakub Kicinski ondev1 = bpf_offload_find_netdev(offload->netdev);
715fd4f227dSJakub Kicinski ondev2 = bpf_offload_find_netdev(netdev);
716fd4f227dSJakub Kicinski
717fd4f227dSJakub Kicinski return ondev1 && ondev2 && ondev1->offdev == ondev2->offdev;
718fd4f227dSJakub Kicinski }
719fd4f227dSJakub Kicinski
bpf_offload_dev_match(struct bpf_prog * prog,struct net_device * netdev)720fd4f227dSJakub Kicinski bool bpf_offload_dev_match(struct bpf_prog *prog, struct net_device *netdev)
721fd4f227dSJakub Kicinski {
722fd4f227dSJakub Kicinski bool ret;
723a3884572SJakub Kicinski
724a3884572SJakub Kicinski down_read(&bpf_devs_lock);
725fd4f227dSJakub Kicinski ret = __bpf_offload_dev_match(prog, netdev);
726fd4f227dSJakub Kicinski up_read(&bpf_devs_lock);
727fd4f227dSJakub Kicinski
728fd4f227dSJakub Kicinski return ret;
729fd4f227dSJakub Kicinski }
730fd4f227dSJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_match);
731fd4f227dSJakub Kicinski
bpf_prog_dev_bound_match(const struct bpf_prog * lhs,const struct bpf_prog * rhs)732fd7c211dSToke Høiland-Jørgensen bool bpf_prog_dev_bound_match(const struct bpf_prog *lhs, const struct bpf_prog *rhs)
733fd7c211dSToke Høiland-Jørgensen {
734fd7c211dSToke Høiland-Jørgensen bool ret;
735fd7c211dSToke Høiland-Jørgensen
736fd7c211dSToke Høiland-Jørgensen if (bpf_prog_is_offloaded(lhs->aux) != bpf_prog_is_offloaded(rhs->aux))
737fd7c211dSToke Høiland-Jørgensen return false;
738fd7c211dSToke Høiland-Jørgensen
739fd7c211dSToke Høiland-Jørgensen down_read(&bpf_devs_lock);
740fd7c211dSToke Høiland-Jørgensen ret = lhs->aux->offload && rhs->aux->offload &&
741fd7c211dSToke Høiland-Jørgensen lhs->aux->offload->netdev &&
742fd7c211dSToke Høiland-Jørgensen lhs->aux->offload->netdev == rhs->aux->offload->netdev;
743fd7c211dSToke Høiland-Jørgensen up_read(&bpf_devs_lock);
744fd7c211dSToke Høiland-Jørgensen
745fd7c211dSToke Høiland-Jørgensen return ret;
746fd7c211dSToke Høiland-Jørgensen }
747fd7c211dSToke Høiland-Jørgensen
bpf_offload_prog_map_match(struct bpf_prog * prog,struct bpf_map * map)748fd4f227dSJakub Kicinski bool bpf_offload_prog_map_match(struct bpf_prog *prog, struct bpf_map *map)
749fd4f227dSJakub Kicinski {
750fd4f227dSJakub Kicinski struct bpf_offloaded_map *offmap;
751fd4f227dSJakub Kicinski bool ret;
752fd4f227dSJakub Kicinski
7539d03ebc7SStanislav Fomichev if (!bpf_map_is_offloaded(map))
754fd4f227dSJakub Kicinski return bpf_map_offload_neutral(map);
755a3884572SJakub Kicinski offmap = map_to_offmap(map);
756a3884572SJakub Kicinski
757fd4f227dSJakub Kicinski down_read(&bpf_devs_lock);
758fd4f227dSJakub Kicinski ret = __bpf_offload_dev_match(prog, offmap->netdev);
759a3884572SJakub Kicinski up_read(&bpf_devs_lock);
760a3884572SJakub Kicinski
761a3884572SJakub Kicinski return ret;
762a3884572SJakub Kicinski }
763a3884572SJakub Kicinski
bpf_offload_dev_netdev_register(struct bpf_offload_dev * offdev,struct net_device * netdev)764602144c2SJakub Kicinski int bpf_offload_dev_netdev_register(struct bpf_offload_dev *offdev,
765602144c2SJakub Kicinski struct net_device *netdev)
766a3884572SJakub Kicinski {
7679fd7c555SJakub Kicinski int err;
768a3884572SJakub Kicinski
7699fd7c555SJakub Kicinski down_write(&bpf_devs_lock);
7702b3486bcSStanislav Fomichev err = __bpf_offload_dev_netdev_register(offdev, netdev);
7719fd7c555SJakub Kicinski up_write(&bpf_devs_lock);
7729fd7c555SJakub Kicinski return err;
773a3884572SJakub Kicinski }
7749fd7c555SJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_netdev_register);
775a3884572SJakub Kicinski
bpf_offload_dev_netdev_unregister(struct bpf_offload_dev * offdev,struct net_device * netdev)776602144c2SJakub Kicinski void bpf_offload_dev_netdev_unregister(struct bpf_offload_dev *offdev,
777602144c2SJakub Kicinski struct net_device *netdev)
778ab3f0063SJakub Kicinski {
779e0d3974aSJakub Kicinski down_write(&bpf_devs_lock);
78089bbc53aSStanislav Fomichev __bpf_offload_dev_netdev_unregister(offdev, netdev);
781e0d3974aSJakub Kicinski up_write(&bpf_devs_lock);
782ab3f0063SJakub Kicinski }
7839fd7c555SJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_netdev_unregister);
784602144c2SJakub Kicinski
7851385d755SQuentin Monnet struct bpf_offload_dev *
bpf_offload_dev_create(const struct bpf_prog_offload_ops * ops,void * priv)786dd27c2e3SJakub Kicinski bpf_offload_dev_create(const struct bpf_prog_offload_ops *ops, void *priv)
787602144c2SJakub Kicinski {
788602144c2SJakub Kicinski struct bpf_offload_dev *offdev;
789602144c2SJakub Kicinski
790602144c2SJakub Kicinski offdev = kzalloc(sizeof(*offdev), GFP_KERNEL);
791602144c2SJakub Kicinski if (!offdev)
792602144c2SJakub Kicinski return ERR_PTR(-ENOMEM);
793602144c2SJakub Kicinski
7941385d755SQuentin Monnet offdev->ops = ops;
795dd27c2e3SJakub Kicinski offdev->priv = priv;
796602144c2SJakub Kicinski INIT_LIST_HEAD(&offdev->netdevs);
797602144c2SJakub Kicinski
798602144c2SJakub Kicinski return offdev;
799602144c2SJakub Kicinski }
800602144c2SJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_create);
801602144c2SJakub Kicinski
bpf_offload_dev_destroy(struct bpf_offload_dev * offdev)802602144c2SJakub Kicinski void bpf_offload_dev_destroy(struct bpf_offload_dev *offdev)
803602144c2SJakub Kicinski {
804602144c2SJakub Kicinski WARN_ON(!list_empty(&offdev->netdevs));
805602144c2SJakub Kicinski kfree(offdev);
806602144c2SJakub Kicinski }
807602144c2SJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_destroy);
808dd27c2e3SJakub Kicinski
bpf_offload_dev_priv(struct bpf_offload_dev * offdev)809dd27c2e3SJakub Kicinski void *bpf_offload_dev_priv(struct bpf_offload_dev *offdev)
810dd27c2e3SJakub Kicinski {
811dd27c2e3SJakub Kicinski return offdev->priv;
812dd27c2e3SJakub Kicinski }
813dd27c2e3SJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_priv);
814f1fc43d0SStanislav Fomichev
bpf_dev_bound_netdev_unregister(struct net_device * dev)8152b3486bcSStanislav Fomichev void bpf_dev_bound_netdev_unregister(struct net_device *dev)
8162b3486bcSStanislav Fomichev {
8172b3486bcSStanislav Fomichev struct bpf_offload_netdev *ondev;
8182b3486bcSStanislav Fomichev
8192b3486bcSStanislav Fomichev ASSERT_RTNL();
8202b3486bcSStanislav Fomichev
8212b3486bcSStanislav Fomichev down_write(&bpf_devs_lock);
8222b3486bcSStanislav Fomichev ondev = bpf_offload_find_netdev(dev);
8232b3486bcSStanislav Fomichev if (ondev && !ondev->offdev)
8242b3486bcSStanislav Fomichev __bpf_offload_dev_netdev_unregister(NULL, ondev->netdev);
8252b3486bcSStanislav Fomichev up_write(&bpf_devs_lock);
8262b3486bcSStanislav Fomichev }
8272b3486bcSStanislav Fomichev
bpf_dev_bound_kfunc_check(struct bpf_verifier_log * log,struct bpf_prog_aux * prog_aux)8283d76a4d3SStanislav Fomichev int bpf_dev_bound_kfunc_check(struct bpf_verifier_log *log,
8293d76a4d3SStanislav Fomichev struct bpf_prog_aux *prog_aux)
8303d76a4d3SStanislav Fomichev {
8313d76a4d3SStanislav Fomichev if (!bpf_prog_is_dev_bound(prog_aux)) {
8323d76a4d3SStanislav Fomichev bpf_log(log, "metadata kfuncs require device-bound program\n");
8333d76a4d3SStanislav Fomichev return -EINVAL;
8343d76a4d3SStanislav Fomichev }
8353d76a4d3SStanislav Fomichev
8363d76a4d3SStanislav Fomichev if (bpf_prog_is_offloaded(prog_aux)) {
8373d76a4d3SStanislav Fomichev bpf_log(log, "metadata kfuncs can't be offloaded\n");
8383d76a4d3SStanislav Fomichev return -EINVAL;
8393d76a4d3SStanislav Fomichev }
8403d76a4d3SStanislav Fomichev
8413d76a4d3SStanislav Fomichev return 0;
8423d76a4d3SStanislav Fomichev }
8433d76a4d3SStanislav Fomichev
bpf_dev_bound_resolve_kfunc(struct bpf_prog * prog,u32 func_id)8443d76a4d3SStanislav Fomichev void *bpf_dev_bound_resolve_kfunc(struct bpf_prog *prog, u32 func_id)
8453d76a4d3SStanislav Fomichev {
8463d76a4d3SStanislav Fomichev const struct xdp_metadata_ops *ops;
8473d76a4d3SStanislav Fomichev void *p = NULL;
8483d76a4d3SStanislav Fomichev
8493d76a4d3SStanislav Fomichev /* We don't hold bpf_devs_lock while resolving several
8503d76a4d3SStanislav Fomichev * kfuncs and can race with the unregister_netdevice().
8513d76a4d3SStanislav Fomichev * We rely on bpf_dev_bound_match() check at attach
8523d76a4d3SStanislav Fomichev * to render this program unusable.
8533d76a4d3SStanislav Fomichev */
8543d76a4d3SStanislav Fomichev down_read(&bpf_devs_lock);
8553d76a4d3SStanislav Fomichev if (!prog->aux->offload)
8563d76a4d3SStanislav Fomichev goto out;
8573d76a4d3SStanislav Fomichev
8583d76a4d3SStanislav Fomichev ops = prog->aux->offload->netdev->xdp_metadata_ops;
8593d76a4d3SStanislav Fomichev if (!ops)
8603d76a4d3SStanislav Fomichev goto out;
8613d76a4d3SStanislav Fomichev
862a9c2a608SStanislav Fomichev #define XDP_METADATA_KFUNC(name, _, __, xmo) \
863fc45c5b6SStanislav Fomichev if (func_id == bpf_xdp_metadata_kfunc_id(name)) p = ops->xmo;
864fc45c5b6SStanislav Fomichev XDP_METADATA_KFUNC_xxx
865fc45c5b6SStanislav Fomichev #undef XDP_METADATA_KFUNC
866fc45c5b6SStanislav Fomichev
8673d76a4d3SStanislav Fomichev out:
8683d76a4d3SStanislav Fomichev up_read(&bpf_devs_lock);
8693d76a4d3SStanislav Fomichev
8703d76a4d3SStanislav Fomichev return p;
8713d76a4d3SStanislav Fomichev }
8723d76a4d3SStanislav Fomichev
bpf_offload_init(void)873f1fc43d0SStanislav Fomichev static int __init bpf_offload_init(void)
874f1fc43d0SStanislav Fomichev {
875f1fc43d0SStanislav Fomichev return rhashtable_init(&offdevs, &offdevs_params);
876f1fc43d0SStanislav Fomichev }
877f1fc43d0SStanislav Fomichev
878e1505c1cSJakub Kicinski core_initcall(bpf_offload_init);
879