218 lines · c
1// SPDX-License-Identifier: GPL-2.02/* Copyright (c) 2021 Facebook */3#include <vmlinux.h>4#include <bpf/bpf_helpers.h>5#include "../bpf_testmod/bpf_testmod_kfunc.h"6 7SEC("tc")8int kfunc_call_test4(struct __sk_buff *skb)9{10 struct bpf_sock *sk = skb->sk;11 long tmp;12 13 if (!sk)14 return -1;15 16 sk = bpf_sk_fullsock(sk);17 if (!sk)18 return -1;19 20 tmp = bpf_kfunc_call_test4(-3, -30, -200, -1000);21 return (tmp >> 32) + tmp;22}23 24SEC("tc")25int kfunc_call_test2(struct __sk_buff *skb)26{27 struct bpf_sock *sk = skb->sk;28 29 if (!sk)30 return -1;31 32 sk = bpf_sk_fullsock(sk);33 if (!sk)34 return -1;35 36 return bpf_kfunc_call_test2((struct sock *)sk, 1, 2);37}38 39SEC("tc")40int kfunc_call_test1(struct __sk_buff *skb)41{42 struct bpf_sock *sk = skb->sk;43 __u64 a = 1ULL << 32;44 __u32 ret;45 46 if (!sk)47 return -1;48 49 sk = bpf_sk_fullsock(sk);50 if (!sk)51 return -1;52 53 a = bpf_kfunc_call_test1((struct sock *)sk, 1, a | 2, 3, a | 4);54 ret = a >> 32; /* ret should be 2 */55 ret += (__u32)a; /* ret should be 12 */56 57 return ret;58}59 60SEC("tc")61int kfunc_call_test_ref_btf_id(struct __sk_buff *skb)62{63 struct prog_test_ref_kfunc *pt;64 unsigned long s = 0;65 int ret = 0;66 67 pt = bpf_kfunc_call_test_acquire(&s);68 if (pt) {69 if (pt->a != 42 || pt->b != 108)70 ret = -1;71 bpf_kfunc_call_test_release(pt);72 }73 return ret;74}75 76SEC("tc")77int kfunc_call_test_pass(struct __sk_buff *skb)78{79 struct prog_test_pass1 p1 = {};80 struct prog_test_pass2 p2 = {};81 short a = 0;82 __u64 b = 0;83 long c = 0;84 char d = 0;85 int e = 0;86 87 bpf_kfunc_call_test_pass_ctx(skb);88 bpf_kfunc_call_test_pass1(&p1);89 bpf_kfunc_call_test_pass2(&p2);90 91 bpf_kfunc_call_test_mem_len_pass1(&a, sizeof(a));92 bpf_kfunc_call_test_mem_len_pass1(&b, sizeof(b));93 bpf_kfunc_call_test_mem_len_pass1(&c, sizeof(c));94 bpf_kfunc_call_test_mem_len_pass1(&d, sizeof(d));95 bpf_kfunc_call_test_mem_len_pass1(&e, sizeof(e));96 bpf_kfunc_call_test_mem_len_fail2(&b, -1);97 98 return 0;99}100 101struct syscall_test_args {102 __u8 data[16];103 size_t size;104};105 106SEC("syscall")107int kfunc_syscall_test(struct syscall_test_args *args)108{109 const long size = args->size;110 111 if (size > sizeof(args->data))112 return -7; /* -E2BIG */113 114 bpf_kfunc_call_test_mem_len_pass1(&args->data, sizeof(args->data));115 bpf_kfunc_call_test_mem_len_pass1(&args->data, sizeof(*args));116 bpf_kfunc_call_test_mem_len_pass1(&args->data, size);117 118 return 0;119}120 121SEC("syscall")122int kfunc_syscall_test_null(struct syscall_test_args *args)123{124 /* Must be called with args as a NULL pointer125 * we do not check for it to have the verifier consider that126 * the pointer might not be null, and so we can load it.127 *128 * So the following can not be added:129 *130 * if (args)131 * return -22;132 */133 134 bpf_kfunc_call_test_mem_len_pass1(args, 0);135 136 return 0;137}138 139SEC("tc")140int kfunc_call_test_get_mem(struct __sk_buff *skb)141{142 struct prog_test_ref_kfunc *pt;143 unsigned long s = 0;144 int *p = NULL;145 int ret = 0;146 147 pt = bpf_kfunc_call_test_acquire(&s);148 if (pt) {149 p = bpf_kfunc_call_test_get_rdwr_mem(pt, 2 * sizeof(int));150 if (p) {151 p[0] = 42;152 ret = p[1]; /* 108 */153 } else {154 ret = -1;155 }156 157 if (ret >= 0) {158 p = bpf_kfunc_call_test_get_rdonly_mem(pt, 2 * sizeof(int));159 if (p)160 ret = p[0]; /* 42 */161 else162 ret = -1;163 }164 165 bpf_kfunc_call_test_release(pt);166 }167 return ret;168}169 170SEC("tc")171int kfunc_call_test_static_unused_arg(struct __sk_buff *skb)172{173 174 u32 expected = 5, actual;175 176 actual = bpf_kfunc_call_test_static_unused_arg(expected, 0xdeadbeef);177 return actual != expected ? -1 : 0;178}179 180struct ctx_val {181 struct bpf_testmod_ctx __kptr *ctx;182};183 184struct {185 __uint(type, BPF_MAP_TYPE_ARRAY);186 __uint(max_entries, 1);187 __type(key, int);188 __type(value, struct ctx_val);189} ctx_map SEC(".maps");190 191SEC("tc")192int kfunc_call_ctx(struct __sk_buff *skb)193{194 struct bpf_testmod_ctx *ctx;195 int err = 0;196 197 ctx = bpf_testmod_ctx_create(&err);198 if (!ctx && !err)199 err = -1;200 if (ctx) {201 int key = 0;202 struct ctx_val *ctx_val = bpf_map_lookup_elem(&ctx_map, &key);203 204 /* Transfer ctx to map to be freed via implicit dtor call205 * on cleanup.206 */207 if (ctx_val)208 ctx = bpf_kptr_xchg(&ctx_val->ctx, ctx);209 if (ctx) {210 bpf_testmod_ctx_release(ctx);211 err = -1;212 }213 }214 return err;215}216 217char _license[] SEC("license") = "GPL";218