1*a39e17b2SJakub Kicinski /* 2*a39e17b2SJakub Kicinski * Copyright (C) 2017 Netronome Systems, Inc. 3*a39e17b2SJakub Kicinski * 4*a39e17b2SJakub Kicinski * This software is licensed under the GNU General License Version 2, 5*a39e17b2SJakub Kicinski * June 1991 as shown in the file COPYING in the top-level directory of this 6*a39e17b2SJakub Kicinski * source tree. 7*a39e17b2SJakub Kicinski * 8*a39e17b2SJakub Kicinski * THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" 9*a39e17b2SJakub Kicinski * WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, 10*a39e17b2SJakub Kicinski * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS 11*a39e17b2SJakub Kicinski * FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE 12*a39e17b2SJakub Kicinski * OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME 13*a39e17b2SJakub Kicinski * THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION. 14*a39e17b2SJakub Kicinski */ 15*a39e17b2SJakub Kicinski 16ab3f0063SJakub Kicinski #include <linux/bpf.h> 17ab3f0063SJakub Kicinski #include <linux/bpf_verifier.h> 18ab3f0063SJakub Kicinski #include <linux/bug.h> 19ab3f0063SJakub Kicinski #include <linux/list.h> 20ab3f0063SJakub Kicinski #include <linux/netdevice.h> 21ab3f0063SJakub Kicinski #include <linux/printk.h> 22ab3f0063SJakub Kicinski #include <linux/rtnetlink.h> 23ab3f0063SJakub Kicinski 24ab3f0063SJakub Kicinski /* protected by RTNL */ 25ab3f0063SJakub Kicinski static LIST_HEAD(bpf_prog_offload_devs); 26ab3f0063SJakub Kicinski 27ab3f0063SJakub Kicinski int bpf_prog_offload_init(struct bpf_prog *prog, union bpf_attr *attr) 28ab3f0063SJakub Kicinski { 29ab3f0063SJakub Kicinski struct net *net = current->nsproxy->net_ns; 30ab3f0063SJakub Kicinski struct bpf_dev_offload *offload; 31ab3f0063SJakub Kicinski 32649f11dcSJakub Kicinski if (attr->prog_type != BPF_PROG_TYPE_SCHED_CLS && 33649f11dcSJakub Kicinski attr->prog_type != BPF_PROG_TYPE_XDP) 34649f11dcSJakub Kicinski return -EINVAL; 35ab3f0063SJakub Kicinski 36ab3f0063SJakub Kicinski if (attr->prog_flags) 37ab3f0063SJakub Kicinski return -EINVAL; 38ab3f0063SJakub Kicinski 39ab3f0063SJakub Kicinski offload = kzalloc(sizeof(*offload), GFP_USER); 40ab3f0063SJakub Kicinski if (!offload) 41ab3f0063SJakub Kicinski return -ENOMEM; 42ab3f0063SJakub Kicinski 43ab3f0063SJakub Kicinski offload->prog = prog; 44ab3f0063SJakub Kicinski init_waitqueue_head(&offload->verifier_done); 45ab3f0063SJakub Kicinski 46ab3f0063SJakub Kicinski rtnl_lock(); 471f6f4cb7SJakub Kicinski offload->netdev = __dev_get_by_index(net, attr->prog_ifindex); 48ab3f0063SJakub Kicinski if (!offload->netdev) { 49ab3f0063SJakub Kicinski rtnl_unlock(); 50ab3f0063SJakub Kicinski kfree(offload); 51ab3f0063SJakub Kicinski return -EINVAL; 52ab3f0063SJakub Kicinski } 53ab3f0063SJakub Kicinski 54ab3f0063SJakub Kicinski prog->aux->offload = offload; 55ab3f0063SJakub Kicinski list_add_tail(&offload->offloads, &bpf_prog_offload_devs); 56ab3f0063SJakub Kicinski rtnl_unlock(); 57ab3f0063SJakub Kicinski 58ab3f0063SJakub Kicinski return 0; 59ab3f0063SJakub Kicinski } 60ab3f0063SJakub Kicinski 61ab3f0063SJakub Kicinski static int __bpf_offload_ndo(struct bpf_prog *prog, enum bpf_netdev_command cmd, 62ab3f0063SJakub Kicinski struct netdev_bpf *data) 63ab3f0063SJakub Kicinski { 64ab3f0063SJakub Kicinski struct net_device *netdev = prog->aux->offload->netdev; 65ab3f0063SJakub Kicinski 66ab3f0063SJakub Kicinski ASSERT_RTNL(); 67ab3f0063SJakub Kicinski 68ab3f0063SJakub Kicinski if (!netdev) 69ab3f0063SJakub Kicinski return -ENODEV; 70ab3f0063SJakub Kicinski if (!netdev->netdev_ops->ndo_bpf) 71ab3f0063SJakub Kicinski return -EOPNOTSUPP; 72ab3f0063SJakub Kicinski 73ab3f0063SJakub Kicinski data->command = cmd; 74ab3f0063SJakub Kicinski 75ab3f0063SJakub Kicinski return netdev->netdev_ops->ndo_bpf(netdev, data); 76ab3f0063SJakub Kicinski } 77ab3f0063SJakub Kicinski 78ab3f0063SJakub Kicinski int bpf_prog_offload_verifier_prep(struct bpf_verifier_env *env) 79ab3f0063SJakub Kicinski { 80ab3f0063SJakub Kicinski struct netdev_bpf data = {}; 81ab3f0063SJakub Kicinski int err; 82ab3f0063SJakub Kicinski 83ab3f0063SJakub Kicinski data.verifier.prog = env->prog; 84ab3f0063SJakub Kicinski 85ab3f0063SJakub Kicinski rtnl_lock(); 86ab3f0063SJakub Kicinski err = __bpf_offload_ndo(env->prog, BPF_OFFLOAD_VERIFIER_PREP, &data); 87ab3f0063SJakub Kicinski if (err) 88ab3f0063SJakub Kicinski goto exit_unlock; 89ab3f0063SJakub Kicinski 90ab3f0063SJakub Kicinski env->dev_ops = data.verifier.ops; 91ab3f0063SJakub Kicinski 92ab3f0063SJakub Kicinski env->prog->aux->offload->dev_state = true; 93ab3f0063SJakub Kicinski env->prog->aux->offload->verifier_running = true; 94ab3f0063SJakub Kicinski exit_unlock: 95ab3f0063SJakub Kicinski rtnl_unlock(); 96ab3f0063SJakub Kicinski return err; 97ab3f0063SJakub Kicinski } 98ab3f0063SJakub Kicinski 99ab3f0063SJakub Kicinski static void __bpf_prog_offload_destroy(struct bpf_prog *prog) 100ab3f0063SJakub Kicinski { 101ab3f0063SJakub Kicinski struct bpf_dev_offload *offload = prog->aux->offload; 102ab3f0063SJakub Kicinski struct netdev_bpf data = {}; 103ab3f0063SJakub Kicinski 10413a9c48aSJakub Kicinski /* Caution - if netdev is destroyed before the program, this function 10513a9c48aSJakub Kicinski * will be called twice. 10613a9c48aSJakub Kicinski */ 10713a9c48aSJakub Kicinski 108ab3f0063SJakub Kicinski data.offload.prog = prog; 109ab3f0063SJakub Kicinski 110ab3f0063SJakub Kicinski if (offload->verifier_running) 111ab3f0063SJakub Kicinski wait_event(offload->verifier_done, !offload->verifier_running); 112ab3f0063SJakub Kicinski 113ab3f0063SJakub Kicinski if (offload->dev_state) 114ab3f0063SJakub Kicinski WARN_ON(__bpf_offload_ndo(prog, BPF_OFFLOAD_DESTROY, &data)); 115ab3f0063SJakub Kicinski 116ab3f0063SJakub Kicinski offload->dev_state = false; 117ab3f0063SJakub Kicinski list_del_init(&offload->offloads); 118ab3f0063SJakub Kicinski offload->netdev = NULL; 119ab3f0063SJakub Kicinski } 120ab3f0063SJakub Kicinski 121ab3f0063SJakub Kicinski void bpf_prog_offload_destroy(struct bpf_prog *prog) 122ab3f0063SJakub Kicinski { 123ab3f0063SJakub Kicinski struct bpf_dev_offload *offload = prog->aux->offload; 124ab3f0063SJakub Kicinski 125ab3f0063SJakub Kicinski offload->verifier_running = false; 126ab3f0063SJakub Kicinski wake_up(&offload->verifier_done); 127ab3f0063SJakub Kicinski 128ab3f0063SJakub Kicinski rtnl_lock(); 129ab3f0063SJakub Kicinski __bpf_prog_offload_destroy(prog); 130ab3f0063SJakub Kicinski rtnl_unlock(); 131ab3f0063SJakub Kicinski 132ab3f0063SJakub Kicinski kfree(offload); 133ab3f0063SJakub Kicinski } 134ab3f0063SJakub Kicinski 135ab3f0063SJakub Kicinski static int bpf_prog_offload_translate(struct bpf_prog *prog) 136ab3f0063SJakub Kicinski { 137ab3f0063SJakub Kicinski struct bpf_dev_offload *offload = prog->aux->offload; 138ab3f0063SJakub Kicinski struct netdev_bpf data = {}; 139ab3f0063SJakub Kicinski int ret; 140ab3f0063SJakub Kicinski 141ab3f0063SJakub Kicinski data.offload.prog = prog; 142ab3f0063SJakub Kicinski 143ab3f0063SJakub Kicinski offload->verifier_running = false; 144ab3f0063SJakub Kicinski wake_up(&offload->verifier_done); 145ab3f0063SJakub Kicinski 146ab3f0063SJakub Kicinski rtnl_lock(); 147ab3f0063SJakub Kicinski ret = __bpf_offload_ndo(prog, BPF_OFFLOAD_TRANSLATE, &data); 148ab3f0063SJakub Kicinski rtnl_unlock(); 149ab3f0063SJakub Kicinski 150ab3f0063SJakub Kicinski return ret; 151ab3f0063SJakub Kicinski } 152ab3f0063SJakub Kicinski 153ab3f0063SJakub Kicinski static unsigned int bpf_prog_warn_on_exec(const void *ctx, 154ab3f0063SJakub Kicinski const struct bpf_insn *insn) 155ab3f0063SJakub Kicinski { 156ab3f0063SJakub Kicinski WARN(1, "attempt to execute device eBPF program on the host!"); 157ab3f0063SJakub Kicinski return 0; 158ab3f0063SJakub Kicinski } 159ab3f0063SJakub Kicinski 160ab3f0063SJakub Kicinski int bpf_prog_offload_compile(struct bpf_prog *prog) 161ab3f0063SJakub Kicinski { 162ab3f0063SJakub Kicinski prog->bpf_func = bpf_prog_warn_on_exec; 163ab3f0063SJakub Kicinski 164ab3f0063SJakub Kicinski return bpf_prog_offload_translate(prog); 165ab3f0063SJakub Kicinski } 166ab3f0063SJakub Kicinski 167ab3f0063SJakub Kicinski const struct bpf_prog_ops bpf_offload_prog_ops = { 168ab3f0063SJakub Kicinski }; 169ab3f0063SJakub Kicinski 170ab3f0063SJakub Kicinski static int bpf_offload_notification(struct notifier_block *notifier, 171ab3f0063SJakub Kicinski ulong event, void *ptr) 172ab3f0063SJakub Kicinski { 173ab3f0063SJakub Kicinski struct net_device *netdev = netdev_notifier_info_to_dev(ptr); 174ab3f0063SJakub Kicinski struct bpf_dev_offload *offload, *tmp; 175ab3f0063SJakub Kicinski 176ab3f0063SJakub Kicinski ASSERT_RTNL(); 177ab3f0063SJakub Kicinski 178ab3f0063SJakub Kicinski switch (event) { 179ab3f0063SJakub Kicinski case NETDEV_UNREGISTER: 18062c71b45SJakub Kicinski /* ignore namespace changes */ 18162c71b45SJakub Kicinski if (netdev->reg_state != NETREG_UNREGISTERING) 18262c71b45SJakub Kicinski break; 18362c71b45SJakub Kicinski 184ab3f0063SJakub Kicinski list_for_each_entry_safe(offload, tmp, &bpf_prog_offload_devs, 185ab3f0063SJakub Kicinski offloads) { 186ab3f0063SJakub Kicinski if (offload->netdev == netdev) 187ab3f0063SJakub Kicinski __bpf_prog_offload_destroy(offload->prog); 188ab3f0063SJakub Kicinski } 189ab3f0063SJakub Kicinski break; 190ab3f0063SJakub Kicinski default: 191ab3f0063SJakub Kicinski break; 192ab3f0063SJakub Kicinski } 193ab3f0063SJakub Kicinski return NOTIFY_OK; 194ab3f0063SJakub Kicinski } 195ab3f0063SJakub Kicinski 196ab3f0063SJakub Kicinski static struct notifier_block bpf_offload_notifier = { 197ab3f0063SJakub Kicinski .notifier_call = bpf_offload_notification, 198ab3f0063SJakub Kicinski }; 199ab3f0063SJakub Kicinski 200ab3f0063SJakub Kicinski static int __init bpf_offload_init(void) 201ab3f0063SJakub Kicinski { 202ab3f0063SJakub Kicinski register_netdevice_notifier(&bpf_offload_notifier); 203ab3f0063SJakub Kicinski return 0; 204ab3f0063SJakub Kicinski } 205ab3f0063SJakub Kicinski 206ab3f0063SJakub Kicinski subsys_initcall(bpf_offload_init); 207