xref: /openbmc/linux/kernel/bpf/offload.c (revision f1fc43d03946d6a2f3dcb05e8c0b874bdf1333c5)
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>
28ab3f0063SJakub Kicinski 
299fd7c555SJakub Kicinski /* Protects offdevs, members of bpf_offload_netdev and offload members
30a3884572SJakub Kicinski  * of all progs.
31e0d3974aSJakub Kicinski  * RTNL lock cannot be taken when holding this lock.
32e0d3974aSJakub Kicinski  */
33e0d3974aSJakub Kicinski static DECLARE_RWSEM(bpf_devs_lock);
349fd7c555SJakub Kicinski 
35602144c2SJakub Kicinski struct bpf_offload_dev {
361385d755SQuentin Monnet 	const struct bpf_prog_offload_ops *ops;
37602144c2SJakub Kicinski 	struct list_head netdevs;
38dd27c2e3SJakub Kicinski 	void *priv;
39602144c2SJakub Kicinski };
40602144c2SJakub Kicinski 
419fd7c555SJakub Kicinski struct bpf_offload_netdev {
429fd7c555SJakub Kicinski 	struct rhash_head l;
439fd7c555SJakub Kicinski 	struct net_device *netdev;
44602144c2SJakub Kicinski 	struct bpf_offload_dev *offdev;
459fd7c555SJakub Kicinski 	struct list_head progs;
469fd7c555SJakub Kicinski 	struct list_head maps;
47602144c2SJakub Kicinski 	struct list_head offdev_netdevs;
489fd7c555SJakub Kicinski };
499fd7c555SJakub Kicinski 
509fd7c555SJakub Kicinski static const struct rhashtable_params offdevs_params = {
519fd7c555SJakub Kicinski 	.nelem_hint		= 4,
529fd7c555SJakub Kicinski 	.key_len		= sizeof(struct net_device *),
539fd7c555SJakub Kicinski 	.key_offset		= offsetof(struct bpf_offload_netdev, netdev),
549fd7c555SJakub Kicinski 	.head_offset		= offsetof(struct bpf_offload_netdev, l),
559fd7c555SJakub Kicinski 	.automatic_shrinking	= true,
569fd7c555SJakub Kicinski };
579fd7c555SJakub Kicinski 
589fd7c555SJakub Kicinski static struct rhashtable offdevs;
59ab3f0063SJakub Kicinski 
605bc2d55cSJakub Kicinski static int bpf_dev_offload_check(struct net_device *netdev)
615bc2d55cSJakub Kicinski {
625bc2d55cSJakub Kicinski 	if (!netdev)
635bc2d55cSJakub Kicinski 		return -EINVAL;
645bc2d55cSJakub Kicinski 	if (!netdev->netdev_ops->ndo_bpf)
655bc2d55cSJakub Kicinski 		return -EOPNOTSUPP;
665bc2d55cSJakub Kicinski 	return 0;
675bc2d55cSJakub Kicinski }
685bc2d55cSJakub Kicinski 
699fd7c555SJakub Kicinski static struct bpf_offload_netdev *
709fd7c555SJakub Kicinski bpf_offload_find_netdev(struct net_device *netdev)
719fd7c555SJakub Kicinski {
729fd7c555SJakub Kicinski 	lockdep_assert_held(&bpf_devs_lock);
739fd7c555SJakub Kicinski 
749fd7c555SJakub Kicinski 	return rhashtable_lookup_fast(&offdevs, &netdev, offdevs_params);
759fd7c555SJakub Kicinski }
769fd7c555SJakub Kicinski 
77ab3f0063SJakub Kicinski int bpf_prog_offload_init(struct bpf_prog *prog, union bpf_attr *attr)
78ab3f0063SJakub Kicinski {
799fd7c555SJakub Kicinski 	struct bpf_offload_netdev *ondev;
800a9c1991SJakub Kicinski 	struct bpf_prog_offload *offload;
815bc2d55cSJakub Kicinski 	int err;
82ab3f0063SJakub Kicinski 
83649f11dcSJakub Kicinski 	if (attr->prog_type != BPF_PROG_TYPE_SCHED_CLS &&
84649f11dcSJakub Kicinski 	    attr->prog_type != BPF_PROG_TYPE_XDP)
85649f11dcSJakub Kicinski 		return -EINVAL;
86ab3f0063SJakub Kicinski 
87ab3f0063SJakub Kicinski 	if (attr->prog_flags)
88ab3f0063SJakub Kicinski 		return -EINVAL;
89ab3f0063SJakub Kicinski 
90ab3f0063SJakub Kicinski 	offload = kzalloc(sizeof(*offload), GFP_USER);
91ab3f0063SJakub Kicinski 	if (!offload)
92ab3f0063SJakub Kicinski 		return -ENOMEM;
93ab3f0063SJakub Kicinski 
94ab3f0063SJakub Kicinski 	offload->prog = prog;
95ab3f0063SJakub Kicinski 
96e0d3974aSJakub Kicinski 	offload->netdev = dev_get_by_index(current->nsproxy->net_ns,
97e0d3974aSJakub Kicinski 					   attr->prog_ifindex);
985bc2d55cSJakub Kicinski 	err = bpf_dev_offload_check(offload->netdev);
995bc2d55cSJakub Kicinski 	if (err)
1005bc2d55cSJakub Kicinski 		goto err_maybe_put;
101ab3f0063SJakub Kicinski 
102e0d3974aSJakub Kicinski 	down_write(&bpf_devs_lock);
1039fd7c555SJakub Kicinski 	ondev = bpf_offload_find_netdev(offload->netdev);
1049fd7c555SJakub Kicinski 	if (!ondev) {
1055bc2d55cSJakub Kicinski 		err = -EINVAL;
106e0d3974aSJakub Kicinski 		goto err_unlock;
1075bc2d55cSJakub Kicinski 	}
108341b3e7bSQuentin Monnet 	offload->offdev = ondev->offdev;
109ab3f0063SJakub Kicinski 	prog->aux->offload = offload;
1109fd7c555SJakub Kicinski 	list_add_tail(&offload->offloads, &ondev->progs);
111e0d3974aSJakub Kicinski 	dev_put(offload->netdev);
112e0d3974aSJakub Kicinski 	up_write(&bpf_devs_lock);
113ab3f0063SJakub Kicinski 
114ab3f0063SJakub Kicinski 	return 0;
115e0d3974aSJakub Kicinski err_unlock:
116e0d3974aSJakub Kicinski 	up_write(&bpf_devs_lock);
1175bc2d55cSJakub Kicinski err_maybe_put:
1185bc2d55cSJakub Kicinski 	if (offload->netdev)
119e0d3974aSJakub Kicinski 		dev_put(offload->netdev);
120e0d3974aSJakub Kicinski 	kfree(offload);
1215bc2d55cSJakub Kicinski 	return err;
122ab3f0063SJakub Kicinski }
123ab3f0063SJakub Kicinski 
124a40a2632SQuentin Monnet int bpf_prog_offload_verifier_prep(struct bpf_prog *prog)
125ab3f0063SJakub Kicinski {
12600db12c3SQuentin Monnet 	struct bpf_prog_offload *offload;
12700db12c3SQuentin Monnet 	int ret = -ENODEV;
128ab3f0063SJakub Kicinski 
12900db12c3SQuentin Monnet 	down_read(&bpf_devs_lock);
130a40a2632SQuentin Monnet 	offload = prog->aux->offload;
131592ee43fSColin Ian King 	if (offload) {
13216a8cb5cSQuentin Monnet 		ret = offload->offdev->ops->prepare(prog);
13300db12c3SQuentin Monnet 		offload->dev_state = !ret;
134592ee43fSColin Ian King 	}
13500db12c3SQuentin Monnet 	up_read(&bpf_devs_lock);
136ab3f0063SJakub Kicinski 
13700db12c3SQuentin Monnet 	return ret;
138ab3f0063SJakub Kicinski }
139ab3f0063SJakub Kicinski 
140cae1927cSJakub Kicinski int bpf_prog_offload_verify_insn(struct bpf_verifier_env *env,
141cae1927cSJakub Kicinski 				 int insn_idx, int prev_insn_idx)
142cae1927cSJakub Kicinski {
1430a9c1991SJakub Kicinski 	struct bpf_prog_offload *offload;
144cae1927cSJakub Kicinski 	int ret = -ENODEV;
145cae1927cSJakub Kicinski 
146cae1927cSJakub Kicinski 	down_read(&bpf_devs_lock);
147cae1927cSJakub Kicinski 	offload = env->prog->aux->offload;
148ce3b9db4SJakub Kicinski 	if (offload)
149341b3e7bSQuentin Monnet 		ret = offload->offdev->ops->insn_hook(env, insn_idx,
150341b3e7bSQuentin Monnet 						      prev_insn_idx);
151cae1927cSJakub Kicinski 	up_read(&bpf_devs_lock);
152cae1927cSJakub Kicinski 
153cae1927cSJakub Kicinski 	return ret;
154cae1927cSJakub Kicinski }
155cae1927cSJakub Kicinski 
156c941ce9cSQuentin Monnet int bpf_prog_offload_finalize(struct bpf_verifier_env *env)
157c941ce9cSQuentin Monnet {
158c941ce9cSQuentin Monnet 	struct bpf_prog_offload *offload;
159c941ce9cSQuentin Monnet 	int ret = -ENODEV;
160c941ce9cSQuentin Monnet 
161c941ce9cSQuentin Monnet 	down_read(&bpf_devs_lock);
162c941ce9cSQuentin Monnet 	offload = env->prog->aux->offload;
163c941ce9cSQuentin Monnet 	if (offload) {
1646dc18fa6SQuentin Monnet 		if (offload->offdev->ops->finalize)
1656dc18fa6SQuentin Monnet 			ret = offload->offdev->ops->finalize(env);
166c941ce9cSQuentin Monnet 		else
167c941ce9cSQuentin Monnet 			ret = 0;
168c941ce9cSQuentin Monnet 	}
169c941ce9cSQuentin Monnet 	up_read(&bpf_devs_lock);
170c941ce9cSQuentin Monnet 
171c941ce9cSQuentin Monnet 	return ret;
172c941ce9cSQuentin Monnet }
173c941ce9cSQuentin Monnet 
17408ca90afSJakub Kicinski void
17508ca90afSJakub Kicinski bpf_prog_offload_replace_insn(struct bpf_verifier_env *env, u32 off,
17608ca90afSJakub Kicinski 			      struct bpf_insn *insn)
17708ca90afSJakub Kicinski {
17808ca90afSJakub Kicinski 	const struct bpf_prog_offload_ops *ops;
17908ca90afSJakub Kicinski 	struct bpf_prog_offload *offload;
18008ca90afSJakub Kicinski 	int ret = -EOPNOTSUPP;
18108ca90afSJakub Kicinski 
18208ca90afSJakub Kicinski 	down_read(&bpf_devs_lock);
18308ca90afSJakub Kicinski 	offload = env->prog->aux->offload;
18408ca90afSJakub Kicinski 	if (offload) {
18508ca90afSJakub Kicinski 		ops = offload->offdev->ops;
18608ca90afSJakub Kicinski 		if (!offload->opt_failed && ops->replace_insn)
18708ca90afSJakub Kicinski 			ret = ops->replace_insn(env, off, insn);
18808ca90afSJakub Kicinski 		offload->opt_failed |= ret;
18908ca90afSJakub Kicinski 	}
19008ca90afSJakub Kicinski 	up_read(&bpf_devs_lock);
19108ca90afSJakub Kicinski }
19208ca90afSJakub Kicinski 
19308ca90afSJakub Kicinski void
19408ca90afSJakub Kicinski bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt)
19508ca90afSJakub Kicinski {
19608ca90afSJakub Kicinski 	struct bpf_prog_offload *offload;
19708ca90afSJakub Kicinski 	int ret = -EOPNOTSUPP;
19808ca90afSJakub Kicinski 
19908ca90afSJakub Kicinski 	down_read(&bpf_devs_lock);
20008ca90afSJakub Kicinski 	offload = env->prog->aux->offload;
20108ca90afSJakub Kicinski 	if (offload) {
20208ca90afSJakub Kicinski 		if (!offload->opt_failed && offload->offdev->ops->remove_insns)
20308ca90afSJakub Kicinski 			ret = offload->offdev->ops->remove_insns(env, off, cnt);
20408ca90afSJakub Kicinski 		offload->opt_failed |= ret;
20508ca90afSJakub Kicinski 	}
20608ca90afSJakub Kicinski 	up_read(&bpf_devs_lock);
20708ca90afSJakub Kicinski }
20808ca90afSJakub Kicinski 
209ab3f0063SJakub Kicinski static void __bpf_prog_offload_destroy(struct bpf_prog *prog)
210ab3f0063SJakub Kicinski {
2110a9c1991SJakub Kicinski 	struct bpf_prog_offload *offload = prog->aux->offload;
212ab3f0063SJakub Kicinski 
213ab3f0063SJakub Kicinski 	if (offload->dev_state)
214eb911947SQuentin Monnet 		offload->offdev->ops->destroy(prog);
215ab3f0063SJakub Kicinski 
216ad8ad79fSJakub Kicinski 	/* Make sure BPF_PROG_GET_NEXT_ID can't find this dead program */
217ad8ad79fSJakub Kicinski 	bpf_prog_free_id(prog, true);
218ad8ad79fSJakub Kicinski 
219ab3f0063SJakub Kicinski 	list_del_init(&offload->offloads);
220ce3b9db4SJakub Kicinski 	kfree(offload);
221ce3b9db4SJakub Kicinski 	prog->aux->offload = NULL;
222ab3f0063SJakub Kicinski }
223ab3f0063SJakub Kicinski 
224ab3f0063SJakub Kicinski void bpf_prog_offload_destroy(struct bpf_prog *prog)
225ab3f0063SJakub Kicinski {
226e0d3974aSJakub Kicinski 	down_write(&bpf_devs_lock);
227ce3b9db4SJakub Kicinski 	if (prog->aux->offload)
228ab3f0063SJakub Kicinski 		__bpf_prog_offload_destroy(prog);
229e0d3974aSJakub Kicinski 	up_write(&bpf_devs_lock);
230ab3f0063SJakub Kicinski }
231ab3f0063SJakub Kicinski 
232ab3f0063SJakub Kicinski static int bpf_prog_offload_translate(struct bpf_prog *prog)
233ab3f0063SJakub Kicinski {
234b07ade27SQuentin Monnet 	struct bpf_prog_offload *offload;
235b07ade27SQuentin Monnet 	int ret = -ENODEV;
236ab3f0063SJakub Kicinski 
237b07ade27SQuentin Monnet 	down_read(&bpf_devs_lock);
238b07ade27SQuentin Monnet 	offload = prog->aux->offload;
239b07ade27SQuentin Monnet 	if (offload)
24016a8cb5cSQuentin Monnet 		ret = offload->offdev->ops->translate(prog);
241b07ade27SQuentin Monnet 	up_read(&bpf_devs_lock);
242ab3f0063SJakub Kicinski 
243ab3f0063SJakub Kicinski 	return ret;
244ab3f0063SJakub Kicinski }
245ab3f0063SJakub Kicinski 
246ab3f0063SJakub Kicinski static unsigned int bpf_prog_warn_on_exec(const void *ctx,
247ab3f0063SJakub Kicinski 					  const struct bpf_insn *insn)
248ab3f0063SJakub Kicinski {
249ab3f0063SJakub Kicinski 	WARN(1, "attempt to execute device eBPF program on the host!");
250ab3f0063SJakub Kicinski 	return 0;
251ab3f0063SJakub Kicinski }
252ab3f0063SJakub Kicinski 
253ab3f0063SJakub Kicinski int bpf_prog_offload_compile(struct bpf_prog *prog)
254ab3f0063SJakub Kicinski {
255ab3f0063SJakub Kicinski 	prog->bpf_func = bpf_prog_warn_on_exec;
256ab3f0063SJakub Kicinski 
257ab3f0063SJakub Kicinski 	return bpf_prog_offload_translate(prog);
258ab3f0063SJakub Kicinski }
259ab3f0063SJakub Kicinski 
260675fc275SJakub Kicinski struct ns_get_path_bpf_prog_args {
261675fc275SJakub Kicinski 	struct bpf_prog *prog;
262675fc275SJakub Kicinski 	struct bpf_prog_info *info;
263675fc275SJakub Kicinski };
264675fc275SJakub Kicinski 
265675fc275SJakub Kicinski static struct ns_common *bpf_prog_offload_info_fill_ns(void *private_data)
266675fc275SJakub Kicinski {
267675fc275SJakub Kicinski 	struct ns_get_path_bpf_prog_args *args = private_data;
268675fc275SJakub Kicinski 	struct bpf_prog_aux *aux = args->prog->aux;
269675fc275SJakub Kicinski 	struct ns_common *ns;
270675fc275SJakub Kicinski 	struct net *net;
271675fc275SJakub Kicinski 
272675fc275SJakub Kicinski 	rtnl_lock();
273675fc275SJakub Kicinski 	down_read(&bpf_devs_lock);
274675fc275SJakub Kicinski 
275675fc275SJakub Kicinski 	if (aux->offload) {
276675fc275SJakub Kicinski 		args->info->ifindex = aux->offload->netdev->ifindex;
277675fc275SJakub Kicinski 		net = dev_net(aux->offload->netdev);
278675fc275SJakub Kicinski 		get_net(net);
279675fc275SJakub Kicinski 		ns = &net->ns;
280675fc275SJakub Kicinski 	} else {
281675fc275SJakub Kicinski 		args->info->ifindex = 0;
282675fc275SJakub Kicinski 		ns = NULL;
283675fc275SJakub Kicinski 	}
284675fc275SJakub Kicinski 
285675fc275SJakub Kicinski 	up_read(&bpf_devs_lock);
286675fc275SJakub Kicinski 	rtnl_unlock();
287675fc275SJakub Kicinski 
288675fc275SJakub Kicinski 	return ns;
289675fc275SJakub Kicinski }
290675fc275SJakub Kicinski 
291675fc275SJakub Kicinski int bpf_prog_offload_info_fill(struct bpf_prog_info *info,
292675fc275SJakub Kicinski 			       struct bpf_prog *prog)
293675fc275SJakub Kicinski {
294675fc275SJakub Kicinski 	struct ns_get_path_bpf_prog_args args = {
295675fc275SJakub Kicinski 		.prog	= prog,
296675fc275SJakub Kicinski 		.info	= info,
297675fc275SJakub Kicinski 	};
298fcfb126dSJiong Wang 	struct bpf_prog_aux *aux = prog->aux;
299675fc275SJakub Kicinski 	struct inode *ns_inode;
300675fc275SJakub Kicinski 	struct path ns_path;
301fcfb126dSJiong Wang 	char __user *uinsns;
302ce623f89SAleksa Sarai 	int res;
303fcfb126dSJiong Wang 	u32 ulen;
304675fc275SJakub Kicinski 
305675fc275SJakub Kicinski 	res = ns_get_path_cb(&ns_path, bpf_prog_offload_info_fill_ns, &args);
306ce623f89SAleksa Sarai 	if (res) {
307675fc275SJakub Kicinski 		if (!info->ifindex)
308675fc275SJakub Kicinski 			return -ENODEV;
309ce623f89SAleksa Sarai 		return res;
310675fc275SJakub Kicinski 	}
311675fc275SJakub Kicinski 
312fcfb126dSJiong Wang 	down_read(&bpf_devs_lock);
313fcfb126dSJiong Wang 
314fcfb126dSJiong Wang 	if (!aux->offload) {
315fcfb126dSJiong Wang 		up_read(&bpf_devs_lock);
316fcfb126dSJiong Wang 		return -ENODEV;
317fcfb126dSJiong Wang 	}
318fcfb126dSJiong Wang 
319fcfb126dSJiong Wang 	ulen = info->jited_prog_len;
320fcfb126dSJiong Wang 	info->jited_prog_len = aux->offload->jited_len;
321e20d3a05SJohannes Krude 	if (info->jited_prog_len && ulen) {
322fcfb126dSJiong Wang 		uinsns = u64_to_user_ptr(info->jited_prog_insns);
323fcfb126dSJiong Wang 		ulen = min_t(u32, info->jited_prog_len, ulen);
324fcfb126dSJiong Wang 		if (copy_to_user(uinsns, aux->offload->jited_image, ulen)) {
325fcfb126dSJiong Wang 			up_read(&bpf_devs_lock);
326fcfb126dSJiong Wang 			return -EFAULT;
327fcfb126dSJiong Wang 		}
328fcfb126dSJiong Wang 	}
329fcfb126dSJiong Wang 
330fcfb126dSJiong Wang 	up_read(&bpf_devs_lock);
331fcfb126dSJiong Wang 
332675fc275SJakub Kicinski 	ns_inode = ns_path.dentry->d_inode;
333675fc275SJakub Kicinski 	info->netns_dev = new_encode_dev(ns_inode->i_sb->s_dev);
334675fc275SJakub Kicinski 	info->netns_ino = ns_inode->i_ino;
335675fc275SJakub Kicinski 	path_put(&ns_path);
336675fc275SJakub Kicinski 
337675fc275SJakub Kicinski 	return 0;
338675fc275SJakub Kicinski }
339675fc275SJakub Kicinski 
340ab3f0063SJakub Kicinski const struct bpf_prog_ops bpf_offload_prog_ops = {
341ab3f0063SJakub Kicinski };
342ab3f0063SJakub Kicinski 
343a3884572SJakub Kicinski static int bpf_map_offload_ndo(struct bpf_offloaded_map *offmap,
344a3884572SJakub Kicinski 			       enum bpf_netdev_command cmd)
345a3884572SJakub Kicinski {
346a3884572SJakub Kicinski 	struct netdev_bpf data = {};
347a3884572SJakub Kicinski 	struct net_device *netdev;
348a3884572SJakub Kicinski 
349a3884572SJakub Kicinski 	ASSERT_RTNL();
350a3884572SJakub Kicinski 
351a3884572SJakub Kicinski 	data.command = cmd;
352a3884572SJakub Kicinski 	data.offmap = offmap;
353a3884572SJakub Kicinski 	/* Caller must make sure netdev is valid */
354a3884572SJakub Kicinski 	netdev = offmap->netdev;
355a3884572SJakub Kicinski 
356a3884572SJakub Kicinski 	return netdev->netdev_ops->ndo_bpf(netdev, &data);
357a3884572SJakub Kicinski }
358a3884572SJakub Kicinski 
359a3884572SJakub Kicinski struct bpf_map *bpf_map_offload_map_alloc(union bpf_attr *attr)
360a3884572SJakub Kicinski {
361a3884572SJakub Kicinski 	struct net *net = current->nsproxy->net_ns;
3629fd7c555SJakub Kicinski 	struct bpf_offload_netdev *ondev;
363a3884572SJakub Kicinski 	struct bpf_offloaded_map *offmap;
364a3884572SJakub Kicinski 	int err;
365a3884572SJakub Kicinski 
366a3884572SJakub Kicinski 	if (!capable(CAP_SYS_ADMIN))
367a3884572SJakub Kicinski 		return ERR_PTR(-EPERM);
3687a0ef693SJakub Kicinski 	if (attr->map_type != BPF_MAP_TYPE_ARRAY &&
3697a0ef693SJakub Kicinski 	    attr->map_type != BPF_MAP_TYPE_HASH)
370a3884572SJakub Kicinski 		return ERR_PTR(-EINVAL);
371a3884572SJakub Kicinski 
37273cf09a3SYafang Shao 	offmap = bpf_map_area_alloc(sizeof(*offmap), NUMA_NO_NODE);
373a3884572SJakub Kicinski 	if (!offmap)
374a3884572SJakub Kicinski 		return ERR_PTR(-ENOMEM);
375a3884572SJakub Kicinski 
376a3884572SJakub Kicinski 	bpf_map_init_from_attr(&offmap->map, attr);
377a3884572SJakub Kicinski 
378a3884572SJakub Kicinski 	rtnl_lock();
379a3884572SJakub Kicinski 	down_write(&bpf_devs_lock);
380a3884572SJakub Kicinski 	offmap->netdev = __dev_get_by_index(net, attr->map_ifindex);
381a3884572SJakub Kicinski 	err = bpf_dev_offload_check(offmap->netdev);
382a3884572SJakub Kicinski 	if (err)
383a3884572SJakub Kicinski 		goto err_unlock;
384a3884572SJakub Kicinski 
3859fd7c555SJakub Kicinski 	ondev = bpf_offload_find_netdev(offmap->netdev);
3869fd7c555SJakub Kicinski 	if (!ondev) {
3879fd7c555SJakub Kicinski 		err = -EINVAL;
3889fd7c555SJakub Kicinski 		goto err_unlock;
3899fd7c555SJakub Kicinski 	}
3909fd7c555SJakub Kicinski 
391a3884572SJakub Kicinski 	err = bpf_map_offload_ndo(offmap, BPF_OFFLOAD_MAP_ALLOC);
392a3884572SJakub Kicinski 	if (err)
393a3884572SJakub Kicinski 		goto err_unlock;
394a3884572SJakub Kicinski 
3959fd7c555SJakub Kicinski 	list_add_tail(&offmap->offloads, &ondev->maps);
396a3884572SJakub Kicinski 	up_write(&bpf_devs_lock);
397a3884572SJakub Kicinski 	rtnl_unlock();
398a3884572SJakub Kicinski 
399a3884572SJakub Kicinski 	return &offmap->map;
400a3884572SJakub Kicinski 
401a3884572SJakub Kicinski err_unlock:
402a3884572SJakub Kicinski 	up_write(&bpf_devs_lock);
403a3884572SJakub Kicinski 	rtnl_unlock();
40473cf09a3SYafang Shao 	bpf_map_area_free(offmap);
405a3884572SJakub Kicinski 	return ERR_PTR(err);
406a3884572SJakub Kicinski }
407a3884572SJakub Kicinski 
408a3884572SJakub Kicinski static void __bpf_map_offload_destroy(struct bpf_offloaded_map *offmap)
409a3884572SJakub Kicinski {
410a3884572SJakub Kicinski 	WARN_ON(bpf_map_offload_ndo(offmap, BPF_OFFLOAD_MAP_FREE));
411a3884572SJakub Kicinski 	/* Make sure BPF_MAP_GET_NEXT_ID can't find this dead map */
412a3884572SJakub Kicinski 	bpf_map_free_id(&offmap->map, true);
413a3884572SJakub Kicinski 	list_del_init(&offmap->offloads);
414a3884572SJakub Kicinski 	offmap->netdev = NULL;
415a3884572SJakub Kicinski }
416a3884572SJakub Kicinski 
417a3884572SJakub Kicinski void bpf_map_offload_map_free(struct bpf_map *map)
418a3884572SJakub Kicinski {
419a3884572SJakub Kicinski 	struct bpf_offloaded_map *offmap = map_to_offmap(map);
420a3884572SJakub Kicinski 
421a3884572SJakub Kicinski 	rtnl_lock();
422a3884572SJakub Kicinski 	down_write(&bpf_devs_lock);
423a3884572SJakub Kicinski 	if (offmap->netdev)
424a3884572SJakub Kicinski 		__bpf_map_offload_destroy(offmap);
425a3884572SJakub Kicinski 	up_write(&bpf_devs_lock);
426a3884572SJakub Kicinski 	rtnl_unlock();
427a3884572SJakub Kicinski 
42873cf09a3SYafang Shao 	bpf_map_area_free(offmap);
429a3884572SJakub Kicinski }
430a3884572SJakub Kicinski 
431a3884572SJakub Kicinski int bpf_map_offload_lookup_elem(struct bpf_map *map, void *key, void *value)
432a3884572SJakub Kicinski {
433a3884572SJakub Kicinski 	struct bpf_offloaded_map *offmap = map_to_offmap(map);
434a3884572SJakub Kicinski 	int ret = -ENODEV;
435a3884572SJakub Kicinski 
436a3884572SJakub Kicinski 	down_read(&bpf_devs_lock);
437a3884572SJakub Kicinski 	if (offmap->netdev)
438a3884572SJakub Kicinski 		ret = offmap->dev_ops->map_lookup_elem(offmap, key, value);
439a3884572SJakub Kicinski 	up_read(&bpf_devs_lock);
440a3884572SJakub Kicinski 
441a3884572SJakub Kicinski 	return ret;
442a3884572SJakub Kicinski }
443a3884572SJakub Kicinski 
444a3884572SJakub Kicinski int bpf_map_offload_update_elem(struct bpf_map *map,
445a3884572SJakub Kicinski 				void *key, void *value, u64 flags)
446a3884572SJakub Kicinski {
447a3884572SJakub Kicinski 	struct bpf_offloaded_map *offmap = map_to_offmap(map);
448a3884572SJakub Kicinski 	int ret = -ENODEV;
449a3884572SJakub Kicinski 
450a3884572SJakub Kicinski 	if (unlikely(flags > BPF_EXIST))
451a3884572SJakub Kicinski 		return -EINVAL;
452a3884572SJakub Kicinski 
453a3884572SJakub Kicinski 	down_read(&bpf_devs_lock);
454a3884572SJakub Kicinski 	if (offmap->netdev)
455a3884572SJakub Kicinski 		ret = offmap->dev_ops->map_update_elem(offmap, key, value,
456a3884572SJakub Kicinski 						       flags);
457a3884572SJakub Kicinski 	up_read(&bpf_devs_lock);
458a3884572SJakub Kicinski 
459a3884572SJakub Kicinski 	return ret;
460a3884572SJakub Kicinski }
461a3884572SJakub Kicinski 
462a3884572SJakub Kicinski int bpf_map_offload_delete_elem(struct bpf_map *map, void *key)
463a3884572SJakub Kicinski {
464a3884572SJakub Kicinski 	struct bpf_offloaded_map *offmap = map_to_offmap(map);
465a3884572SJakub Kicinski 	int ret = -ENODEV;
466a3884572SJakub Kicinski 
467a3884572SJakub Kicinski 	down_read(&bpf_devs_lock);
468a3884572SJakub Kicinski 	if (offmap->netdev)
469a3884572SJakub Kicinski 		ret = offmap->dev_ops->map_delete_elem(offmap, key);
470a3884572SJakub Kicinski 	up_read(&bpf_devs_lock);
471a3884572SJakub Kicinski 
472a3884572SJakub Kicinski 	return ret;
473a3884572SJakub Kicinski }
474a3884572SJakub Kicinski 
475a3884572SJakub Kicinski int bpf_map_offload_get_next_key(struct bpf_map *map, void *key, void *next_key)
476a3884572SJakub Kicinski {
477a3884572SJakub Kicinski 	struct bpf_offloaded_map *offmap = map_to_offmap(map);
478a3884572SJakub Kicinski 	int ret = -ENODEV;
479a3884572SJakub Kicinski 
480a3884572SJakub Kicinski 	down_read(&bpf_devs_lock);
481a3884572SJakub Kicinski 	if (offmap->netdev)
482a3884572SJakub Kicinski 		ret = offmap->dev_ops->map_get_next_key(offmap, key, next_key);
483a3884572SJakub Kicinski 	up_read(&bpf_devs_lock);
484a3884572SJakub Kicinski 
485a3884572SJakub Kicinski 	return ret;
486a3884572SJakub Kicinski }
487a3884572SJakub Kicinski 
48852775b33SJakub Kicinski struct ns_get_path_bpf_map_args {
48952775b33SJakub Kicinski 	struct bpf_offloaded_map *offmap;
49052775b33SJakub Kicinski 	struct bpf_map_info *info;
49152775b33SJakub Kicinski };
49252775b33SJakub Kicinski 
49352775b33SJakub Kicinski static struct ns_common *bpf_map_offload_info_fill_ns(void *private_data)
49452775b33SJakub Kicinski {
49552775b33SJakub Kicinski 	struct ns_get_path_bpf_map_args *args = private_data;
49652775b33SJakub Kicinski 	struct ns_common *ns;
49752775b33SJakub Kicinski 	struct net *net;
49852775b33SJakub Kicinski 
49952775b33SJakub Kicinski 	rtnl_lock();
50052775b33SJakub Kicinski 	down_read(&bpf_devs_lock);
50152775b33SJakub Kicinski 
50252775b33SJakub Kicinski 	if (args->offmap->netdev) {
50352775b33SJakub Kicinski 		args->info->ifindex = args->offmap->netdev->ifindex;
50452775b33SJakub Kicinski 		net = dev_net(args->offmap->netdev);
50552775b33SJakub Kicinski 		get_net(net);
50652775b33SJakub Kicinski 		ns = &net->ns;
50752775b33SJakub Kicinski 	} else {
50852775b33SJakub Kicinski 		args->info->ifindex = 0;
50952775b33SJakub Kicinski 		ns = NULL;
51052775b33SJakub Kicinski 	}
51152775b33SJakub Kicinski 
51252775b33SJakub Kicinski 	up_read(&bpf_devs_lock);
51352775b33SJakub Kicinski 	rtnl_unlock();
51452775b33SJakub Kicinski 
51552775b33SJakub Kicinski 	return ns;
51652775b33SJakub Kicinski }
51752775b33SJakub Kicinski 
51852775b33SJakub Kicinski int bpf_map_offload_info_fill(struct bpf_map_info *info, struct bpf_map *map)
51952775b33SJakub Kicinski {
52052775b33SJakub Kicinski 	struct ns_get_path_bpf_map_args args = {
52152775b33SJakub Kicinski 		.offmap	= map_to_offmap(map),
52252775b33SJakub Kicinski 		.info	= info,
52352775b33SJakub Kicinski 	};
52452775b33SJakub Kicinski 	struct inode *ns_inode;
52552775b33SJakub Kicinski 	struct path ns_path;
526ce623f89SAleksa Sarai 	int res;
52752775b33SJakub Kicinski 
52852775b33SJakub Kicinski 	res = ns_get_path_cb(&ns_path, bpf_map_offload_info_fill_ns, &args);
529ce623f89SAleksa Sarai 	if (res) {
53052775b33SJakub Kicinski 		if (!info->ifindex)
53152775b33SJakub Kicinski 			return -ENODEV;
532ce623f89SAleksa Sarai 		return res;
53352775b33SJakub Kicinski 	}
53452775b33SJakub Kicinski 
53552775b33SJakub Kicinski 	ns_inode = ns_path.dentry->d_inode;
53652775b33SJakub Kicinski 	info->netns_dev = new_encode_dev(ns_inode->i_sb->s_dev);
53752775b33SJakub Kicinski 	info->netns_ino = ns_inode->i_ino;
53852775b33SJakub Kicinski 	path_put(&ns_path);
53952775b33SJakub Kicinski 
54052775b33SJakub Kicinski 	return 0;
54152775b33SJakub Kicinski }
54252775b33SJakub Kicinski 
543fd4f227dSJakub Kicinski static bool __bpf_offload_dev_match(struct bpf_prog *prog,
544fd4f227dSJakub Kicinski 				    struct net_device *netdev)
545a3884572SJakub Kicinski {
546fd4f227dSJakub Kicinski 	struct bpf_offload_netdev *ondev1, *ondev2;
547a3884572SJakub Kicinski 	struct bpf_prog_offload *offload;
548a3884572SJakub Kicinski 
5499d03ebc7SStanislav Fomichev 	if (!bpf_prog_is_offloaded(prog->aux))
550a3884572SJakub Kicinski 		return false;
551fd4f227dSJakub Kicinski 
552fd4f227dSJakub Kicinski 	offload = prog->aux->offload;
553fd4f227dSJakub Kicinski 	if (!offload)
554fd4f227dSJakub Kicinski 		return false;
555fd4f227dSJakub Kicinski 	if (offload->netdev == netdev)
556fd4f227dSJakub Kicinski 		return true;
557fd4f227dSJakub Kicinski 
558fd4f227dSJakub Kicinski 	ondev1 = bpf_offload_find_netdev(offload->netdev);
559fd4f227dSJakub Kicinski 	ondev2 = bpf_offload_find_netdev(netdev);
560fd4f227dSJakub Kicinski 
561fd4f227dSJakub Kicinski 	return ondev1 && ondev2 && ondev1->offdev == ondev2->offdev;
562fd4f227dSJakub Kicinski }
563fd4f227dSJakub Kicinski 
564fd4f227dSJakub Kicinski bool bpf_offload_dev_match(struct bpf_prog *prog, struct net_device *netdev)
565fd4f227dSJakub Kicinski {
566fd4f227dSJakub Kicinski 	bool ret;
567a3884572SJakub Kicinski 
568a3884572SJakub Kicinski 	down_read(&bpf_devs_lock);
569fd4f227dSJakub Kicinski 	ret = __bpf_offload_dev_match(prog, netdev);
570fd4f227dSJakub Kicinski 	up_read(&bpf_devs_lock);
571fd4f227dSJakub Kicinski 
572fd4f227dSJakub Kicinski 	return ret;
573fd4f227dSJakub Kicinski }
574fd4f227dSJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_match);
575fd4f227dSJakub Kicinski 
576fd4f227dSJakub Kicinski bool bpf_offload_prog_map_match(struct bpf_prog *prog, struct bpf_map *map)
577fd4f227dSJakub Kicinski {
578fd4f227dSJakub Kicinski 	struct bpf_offloaded_map *offmap;
579fd4f227dSJakub Kicinski 	bool ret;
580fd4f227dSJakub Kicinski 
5819d03ebc7SStanislav Fomichev 	if (!bpf_map_is_offloaded(map))
582fd4f227dSJakub Kicinski 		return bpf_map_offload_neutral(map);
583a3884572SJakub Kicinski 	offmap = map_to_offmap(map);
584a3884572SJakub Kicinski 
585fd4f227dSJakub Kicinski 	down_read(&bpf_devs_lock);
586fd4f227dSJakub Kicinski 	ret = __bpf_offload_dev_match(prog, offmap->netdev);
587a3884572SJakub Kicinski 	up_read(&bpf_devs_lock);
588a3884572SJakub Kicinski 
589a3884572SJakub Kicinski 	return ret;
590a3884572SJakub Kicinski }
591a3884572SJakub Kicinski 
592602144c2SJakub Kicinski int bpf_offload_dev_netdev_register(struct bpf_offload_dev *offdev,
593602144c2SJakub Kicinski 				    struct net_device *netdev)
594a3884572SJakub Kicinski {
5959fd7c555SJakub Kicinski 	struct bpf_offload_netdev *ondev;
5969fd7c555SJakub Kicinski 	int err;
597a3884572SJakub Kicinski 
5989fd7c555SJakub Kicinski 	ondev = kzalloc(sizeof(*ondev), GFP_KERNEL);
5999fd7c555SJakub Kicinski 	if (!ondev)
6009fd7c555SJakub Kicinski 		return -ENOMEM;
6019fd7c555SJakub Kicinski 
6029fd7c555SJakub Kicinski 	ondev->netdev = netdev;
603602144c2SJakub Kicinski 	ondev->offdev = offdev;
6049fd7c555SJakub Kicinski 	INIT_LIST_HEAD(&ondev->progs);
6059fd7c555SJakub Kicinski 	INIT_LIST_HEAD(&ondev->maps);
6069fd7c555SJakub Kicinski 
6079fd7c555SJakub Kicinski 	down_write(&bpf_devs_lock);
6089fd7c555SJakub Kicinski 	err = rhashtable_insert_fast(&offdevs, &ondev->l, offdevs_params);
6099fd7c555SJakub Kicinski 	if (err) {
6109fd7c555SJakub Kicinski 		netdev_warn(netdev, "failed to register for BPF offload\n");
6119fd7c555SJakub Kicinski 		goto err_unlock_free;
612a3884572SJakub Kicinski 	}
613a3884572SJakub Kicinski 
614602144c2SJakub Kicinski 	list_add(&ondev->offdev_netdevs, &offdev->netdevs);
6159fd7c555SJakub Kicinski 	up_write(&bpf_devs_lock);
6169fd7c555SJakub Kicinski 	return 0;
617a3884572SJakub Kicinski 
6189fd7c555SJakub Kicinski err_unlock_free:
6199fd7c555SJakub Kicinski 	up_write(&bpf_devs_lock);
6209fd7c555SJakub Kicinski 	kfree(ondev);
6219fd7c555SJakub Kicinski 	return err;
622a3884572SJakub Kicinski }
6239fd7c555SJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_netdev_register);
624a3884572SJakub Kicinski 
625602144c2SJakub Kicinski void bpf_offload_dev_netdev_unregister(struct bpf_offload_dev *offdev,
626602144c2SJakub Kicinski 				       struct net_device *netdev)
627ab3f0063SJakub Kicinski {
628602144c2SJakub Kicinski 	struct bpf_offload_netdev *ondev, *altdev;
6299fd7c555SJakub Kicinski 	struct bpf_offloaded_map *offmap, *mtmp;
6309fd7c555SJakub Kicinski 	struct bpf_prog_offload *offload, *ptmp;
631ab3f0063SJakub Kicinski 
632ab3f0063SJakub Kicinski 	ASSERT_RTNL();
633ab3f0063SJakub Kicinski 
634e0d3974aSJakub Kicinski 	down_write(&bpf_devs_lock);
6359fd7c555SJakub Kicinski 	ondev = rhashtable_lookup_fast(&offdevs, &netdev, offdevs_params);
6369fd7c555SJakub Kicinski 	if (WARN_ON(!ondev))
6379fd7c555SJakub Kicinski 		goto unlock;
6389fd7c555SJakub Kicinski 
6399fd7c555SJakub Kicinski 	WARN_ON(rhashtable_remove_fast(&offdevs, &ondev->l, offdevs_params));
640602144c2SJakub Kicinski 	list_del(&ondev->offdev_netdevs);
6419fd7c555SJakub Kicinski 
642602144c2SJakub Kicinski 	/* Try to move the objects to another netdev of the device */
643602144c2SJakub Kicinski 	altdev = list_first_entry_or_null(&offdev->netdevs,
644602144c2SJakub Kicinski 					  struct bpf_offload_netdev,
645602144c2SJakub Kicinski 					  offdev_netdevs);
646602144c2SJakub Kicinski 	if (altdev) {
647602144c2SJakub Kicinski 		list_for_each_entry(offload, &ondev->progs, offloads)
648602144c2SJakub Kicinski 			offload->netdev = altdev->netdev;
649602144c2SJakub Kicinski 		list_splice_init(&ondev->progs, &altdev->progs);
650602144c2SJakub Kicinski 
651602144c2SJakub Kicinski 		list_for_each_entry(offmap, &ondev->maps, offloads)
652602144c2SJakub Kicinski 			offmap->netdev = altdev->netdev;
653602144c2SJakub Kicinski 		list_splice_init(&ondev->maps, &altdev->maps);
654602144c2SJakub Kicinski 	} else {
6559fd7c555SJakub Kicinski 		list_for_each_entry_safe(offload, ptmp, &ondev->progs, offloads)
6569fd7c555SJakub Kicinski 			__bpf_prog_offload_destroy(offload->prog);
6579fd7c555SJakub Kicinski 		list_for_each_entry_safe(offmap, mtmp, &ondev->maps, offloads)
6589fd7c555SJakub Kicinski 			__bpf_map_offload_destroy(offmap);
659602144c2SJakub Kicinski 	}
6609fd7c555SJakub Kicinski 
6619fd7c555SJakub Kicinski 	WARN_ON(!list_empty(&ondev->progs));
6629fd7c555SJakub Kicinski 	WARN_ON(!list_empty(&ondev->maps));
6639fd7c555SJakub Kicinski 	kfree(ondev);
6649fd7c555SJakub Kicinski unlock:
665e0d3974aSJakub Kicinski 	up_write(&bpf_devs_lock);
666ab3f0063SJakub Kicinski }
6679fd7c555SJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_netdev_unregister);
668602144c2SJakub Kicinski 
6691385d755SQuentin Monnet struct bpf_offload_dev *
670dd27c2e3SJakub Kicinski bpf_offload_dev_create(const struct bpf_prog_offload_ops *ops, void *priv)
671602144c2SJakub Kicinski {
672602144c2SJakub Kicinski 	struct bpf_offload_dev *offdev;
673602144c2SJakub Kicinski 
674602144c2SJakub Kicinski 	offdev = kzalloc(sizeof(*offdev), GFP_KERNEL);
675602144c2SJakub Kicinski 	if (!offdev)
676602144c2SJakub Kicinski 		return ERR_PTR(-ENOMEM);
677602144c2SJakub Kicinski 
6781385d755SQuentin Monnet 	offdev->ops = ops;
679dd27c2e3SJakub Kicinski 	offdev->priv = priv;
680602144c2SJakub Kicinski 	INIT_LIST_HEAD(&offdev->netdevs);
681602144c2SJakub Kicinski 
682602144c2SJakub Kicinski 	return offdev;
683602144c2SJakub Kicinski }
684602144c2SJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_create);
685602144c2SJakub Kicinski 
686602144c2SJakub Kicinski void bpf_offload_dev_destroy(struct bpf_offload_dev *offdev)
687602144c2SJakub Kicinski {
688602144c2SJakub Kicinski 	WARN_ON(!list_empty(&offdev->netdevs));
689602144c2SJakub Kicinski 	kfree(offdev);
690602144c2SJakub Kicinski }
691602144c2SJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_destroy);
692dd27c2e3SJakub Kicinski 
693dd27c2e3SJakub Kicinski void *bpf_offload_dev_priv(struct bpf_offload_dev *offdev)
694dd27c2e3SJakub Kicinski {
695dd27c2e3SJakub Kicinski 	return offdev->priv;
696dd27c2e3SJakub Kicinski }
697dd27c2e3SJakub Kicinski EXPORT_SYMBOL_GPL(bpf_offload_dev_priv);
698*f1fc43d0SStanislav Fomichev 
699*f1fc43d0SStanislav Fomichev static int __init bpf_offload_init(void)
700*f1fc43d0SStanislav Fomichev {
701*f1fc43d0SStanislav Fomichev 	return rhashtable_init(&offdevs, &offdevs_params);
702*f1fc43d0SStanislav Fomichev }
703*f1fc43d0SStanislav Fomichev 
704*f1fc43d0SStanislav Fomichev late_initcall(bpf_offload_init);
705