blob: 7ac6c52b25ebc8dcb93df83844f5e796740b8206 [file] [log] [blame]
Steven Rostedt (VMware)179a0cc2018-08-16 11:20:54 -04001// SPDX-License-Identifier: GPL-2.0
Alexei Starovoitov25415172015-03-25 12:49:20 -07002/* Copyright (c) 2011-2015 PLUMgrid, http://plumgrid.com
Alexei Starovoitov0515e592016-09-01 18:37:22 -07003 * Copyright (c) 2016 Facebook
Alexei Starovoitov25415172015-03-25 12:49:20 -07004 */
5#include <linux/kernel.h>
6#include <linux/types.h>
7#include <linux/slab.h>
8#include <linux/bpf.h>
Martin KaFai Lau4279adb2022-10-25 11:45:20 -07009#include <linux/bpf_verifier.h>
Alexei Starovoitov0515e592016-09-01 18:37:22 -070010#include <linux/bpf_perf_event.h>
Alan Maguirec4d0bfb2020-09-28 12:31:05 +010011#include <linux/btf.h>
Alexei Starovoitov25415172015-03-25 12:49:20 -070012#include <linux/filter.h>
13#include <linux/uaccess.h>
Alexei Starovoitov9c959c82015-03-25 12:49:22 -070014#include <linux/ctype.h>
Josef Bacik9802d862017-12-11 11:36:48 -050015#include <linux/kprobes.h>
Alan Maguireac5a72e2020-07-13 12:52:33 +010016#include <linux/spinlock.h>
Yonghong Song41bdc4b2018-05-24 11:21:09 -070017#include <linux/syscalls.h>
Masami Hiramatsu540adea2018-01-13 02:55:03 +090018#include <linux/error-injection.h>
Jiri Olsac9a0f3b2020-07-11 23:53:24 +020019#include <linux/btf_ids.h>
KP Singh6f100642020-11-13 00:59:30 +000020#include <linux/bpf_lsm.h>
Jiri Olsa0dcac272022-03-16 13:24:09 +010021#include <linux/fprobe.h>
Jiri Olsaca748232022-03-16 13:24:12 +010022#include <linux/bsearch.h>
23#include <linux/sort.h>
Roberto Sassuf3cf4132022-09-20 09:59:45 +020024#include <linux/key.h>
25#include <linux/verification.h>
Jiri Olsa89ae89f2023-08-09 10:34:15 +020026#include <linux/namei.h>
Song Liuac9c05e2023-11-29 15:44:12 -080027#include <linux/fileattr.h>
KP Singh6f100642020-11-13 00:59:30 +000028
Martin KaFai Lau8e4597c2020-11-12 13:13:13 -080029#include <net/bpf_sk_storage.h>
Josef Bacik9802d862017-12-11 11:36:48 -050030
Alan Maguirec4d0bfb2020-09-28 12:31:05 +010031#include <uapi/linux/bpf.h>
32#include <uapi/linux/btf.h>
33
Nadav Amitc7b6f292019-04-25 17:11:43 -070034#include <asm/tlb.h>
35
Josef Bacik9802d862017-12-11 11:36:48 -050036#include "trace_probe.h"
Alexei Starovoitov25415172015-03-25 12:49:20 -070037#include "trace.h"
38
Alan Maguireac5a72e2020-07-13 12:52:33 +010039#define CREATE_TRACE_POINTS
40#include "bpf_trace.h"
41
Stanislav Fomicheve672db02019-05-28 14:14:44 -070042#define bpf_event_rcu_dereference(p) \
43 rcu_dereference_protected(p, lockdep_is_held(&bpf_event_mutex))
44
Hou Tao8b2efe52023-12-15 18:07:04 +080045#define MAX_UPROBE_MULTI_CNT (1U << 20)
Hou Taod6d1e6c2023-12-15 18:07:05 +080046#define MAX_KPROBE_MULTI_CNT (1U << 20)
Hou Tao8b2efe52023-12-15 18:07:04 +080047
Matt Mullinsa38d1102018-12-12 16:42:37 -080048#ifdef CONFIG_MODULES
49struct bpf_trace_module {
50 struct module *module;
51 struct list_head list;
52};
53
54static LIST_HEAD(bpf_trace_modules);
55static DEFINE_MUTEX(bpf_module_mutex);
56
57static struct bpf_raw_event_map *bpf_get_raw_tracepoint_module(const char *name)
58{
59 struct bpf_raw_event_map *btp, *ret = NULL;
60 struct bpf_trace_module *btm;
61 unsigned int i;
62
63 mutex_lock(&bpf_module_mutex);
64 list_for_each_entry(btm, &bpf_trace_modules, list) {
65 for (i = 0; i < btm->module->num_bpf_raw_events; ++i) {
66 btp = &btm->module->bpf_raw_events[i];
67 if (!strcmp(btp->tp->name, name)) {
68 if (try_module_get(btm->module))
69 ret = btp;
70 goto out;
71 }
72 }
73 }
74out:
75 mutex_unlock(&bpf_module_mutex);
76 return ret;
77}
78#else
79static struct bpf_raw_event_map *bpf_get_raw_tracepoint_module(const char *name)
80{
81 return NULL;
82}
83#endif /* CONFIG_MODULES */
84
Gianluca Borello035226b2017-10-26 01:47:42 +000085u64 bpf_get_stackid(u64 r1, u64 r2, u64 r3, u64 r4, u64 r5);
Yonghong Songc195651e2018-04-28 22:28:08 -070086u64 bpf_get_stack(u64 r1, u64 r2, u64 r3, u64 r4, u64 r5);
Gianluca Borello035226b2017-10-26 01:47:42 +000087
Alan Maguireeb4113772020-09-28 12:31:09 +010088static int bpf_btf_printf_prepare(struct btf_ptr *ptr, u32 btf_ptr_size,
89 u64 flags, const struct btf **btf,
90 s32 *btf_id);
Jiri Olsaf7098692022-03-21 08:01:13 +010091static u64 bpf_kprobe_multi_cookie(struct bpf_run_ctx *ctx);
92static u64 bpf_kprobe_multi_entry_ip(struct bpf_run_ctx *ctx);
Alan Maguireeb4113772020-09-28 12:31:09 +010093
Jiri Olsa0b779b62023-08-09 10:34:16 +020094static u64 bpf_uprobe_multi_cookie(struct bpf_run_ctx *ctx);
Jiri Olsa686328d2023-08-09 10:34:18 +020095static u64 bpf_uprobe_multi_entry_ip(struct bpf_run_ctx *ctx);
Jiri Olsa0b779b62023-08-09 10:34:16 +020096
Alexei Starovoitov25415172015-03-25 12:49:20 -070097/**
98 * trace_call_bpf - invoke BPF program
Yonghong Songe87c6bc382017-10-23 23:53:08 -070099 * @call: tracepoint event
Alexei Starovoitov25415172015-03-25 12:49:20 -0700100 * @ctx: opaque context pointer
101 *
102 * kprobe handlers execute BPF programs via this helper.
103 * Can be used from static tracepoints in the future.
104 *
105 * Return: BPF programs always return an integer which is interpreted by
106 * kprobe handler as:
107 * 0 - return from kprobe (event is filtered out)
108 * 1 - store kprobe event into ring buffer
109 * Other values are reserved and currently alias to 1
110 */
Yonghong Songe87c6bc382017-10-23 23:53:08 -0700111unsigned int trace_call_bpf(struct trace_event_call *call, void *ctx)
Alexei Starovoitov25415172015-03-25 12:49:20 -0700112{
113 unsigned int ret;
114
Thomas Gleixnerb0a81b92020-02-24 15:01:37 +0100115 cant_sleep();
Alexei Starovoitov25415172015-03-25 12:49:20 -0700116
117 if (unlikely(__this_cpu_inc_return(bpf_prog_active) != 1)) {
118 /*
119 * since some bpf program is already running on this cpu,
120 * don't call into another bpf program (same or different)
121 * and don't send kprobe event into ring-buffer,
122 * so return zero here
123 */
Jiri Olsadd865782023-09-20 23:31:40 +0200124 rcu_read_lock();
125 bpf_prog_inc_misses_counters(rcu_dereference(call->prog_array));
126 rcu_read_unlock();
Alexei Starovoitov25415172015-03-25 12:49:20 -0700127 ret = 0;
128 goto out;
129 }
130
Yonghong Songe87c6bc382017-10-23 23:53:08 -0700131 /*
132 * Instead of moving rcu_read_lock/rcu_dereference/rcu_read_unlock
133 * to all call sites, we did a bpf_prog_array_valid() there to check
134 * whether call->prog_array is empty or not, which is
Qiujun Huang2b5894c2020-10-29 23:05:54 +0800135 * a heuristic to speed up execution.
Yonghong Songe87c6bc382017-10-23 23:53:08 -0700136 *
137 * If bpf_prog_array_valid() fetched prog_array was
138 * non-NULL, we go into trace_call_bpf() and do the actual
139 * proper rcu_dereference() under RCU lock.
140 * If it turns out that prog_array is NULL then, we bail out.
141 * For the opposite, if the bpf_prog_array_valid() fetched pointer
142 * was NULL, you'll skip the prog_array with the risk of missing
143 * out of events when it was updated in between this and the
144 * rcu_dereference() which is accepted risk.
145 */
Stanislav Fomichev055eb9552022-04-14 09:12:33 -0700146 rcu_read_lock();
147 ret = bpf_prog_run_array(rcu_dereference(call->prog_array),
148 ctx, bpf_prog_run);
149 rcu_read_unlock();
Alexei Starovoitov25415172015-03-25 12:49:20 -0700150
151 out:
152 __this_cpu_dec(bpf_prog_active);
Alexei Starovoitov25415172015-03-25 12:49:20 -0700153
154 return ret;
155}
Alexei Starovoitov25415172015-03-25 12:49:20 -0700156
Josef Bacik9802d862017-12-11 11:36:48 -0500157#ifdef CONFIG_BPF_KPROBE_OVERRIDE
158BPF_CALL_2(bpf_override_return, struct pt_regs *, regs, unsigned long, rc)
159{
Josef Bacik9802d862017-12-11 11:36:48 -0500160 regs_set_return_value(regs, rc);
Masami Hiramatsu540adea2018-01-13 02:55:03 +0900161 override_function_with_return(regs);
Josef Bacik9802d862017-12-11 11:36:48 -0500162 return 0;
163}
164
165static const struct bpf_func_proto bpf_override_return_proto = {
166 .func = bpf_override_return,
167 .gpl_only = true,
168 .ret_type = RET_INTEGER,
169 .arg1_type = ARG_PTR_TO_CTX,
170 .arg2_type = ARG_ANYTHING,
171};
172#endif
173
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700174static __always_inline int
175bpf_probe_read_user_common(void *dst, u32 size, const void __user *unsafe_ptr)
176{
177 int ret;
178
Christoph Hellwigc0ee37e2020-06-17 09:37:54 +0200179 ret = copy_from_user_nofault(dst, unsafe_ptr, size);
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700180 if (unlikely(ret < 0))
181 memset(dst, 0, size);
182 return ret;
183}
184
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100185BPF_CALL_3(bpf_probe_read_user, void *, dst, u32, size,
186 const void __user *, unsafe_ptr)
Alexei Starovoitov25415172015-03-25 12:49:20 -0700187{
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700188 return bpf_probe_read_user_common(dst, size, unsafe_ptr);
Alexei Starovoitov25415172015-03-25 12:49:20 -0700189}
190
John Fastabendf4703782020-05-24 09:50:55 -0700191const struct bpf_func_proto bpf_probe_read_user_proto = {
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100192 .func = bpf_probe_read_user,
193 .gpl_only = true,
194 .ret_type = RET_INTEGER,
195 .arg1_type = ARG_PTR_TO_UNINIT_MEM,
196 .arg2_type = ARG_CONST_SIZE_OR_ZERO,
197 .arg3_type = ARG_ANYTHING,
198};
199
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700200static __always_inline int
201bpf_probe_read_user_str_common(void *dst, u32 size,
202 const void __user *unsafe_ptr)
203{
204 int ret;
205
Daniel Xu6fa6d282020-11-17 12:05:45 -0800206 /*
207 * NB: We rely on strncpy_from_user() not copying junk past the NUL
208 * terminator into `dst`.
209 *
210 * strncpy_from_user() does long-sized strides in the fast path. If the
211 * strncpy does not mask out the bytes after the NUL in `unsafe_ptr`,
212 * then there could be junk after the NUL in `dst`. If user takes `dst`
213 * and keys a hash map with it, then semantically identical strings can
214 * occupy multiple entries in the map.
215 */
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700216 ret = strncpy_from_user_nofault(dst, unsafe_ptr, size);
217 if (unlikely(ret < 0))
218 memset(dst, 0, size);
219 return ret;
220}
221
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100222BPF_CALL_3(bpf_probe_read_user_str, void *, dst, u32, size,
223 const void __user *, unsafe_ptr)
224{
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700225 return bpf_probe_read_user_str_common(dst, size, unsafe_ptr);
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100226}
227
John Fastabendf4703782020-05-24 09:50:55 -0700228const struct bpf_func_proto bpf_probe_read_user_str_proto = {
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100229 .func = bpf_probe_read_user_str,
230 .gpl_only = true,
231 .ret_type = RET_INTEGER,
232 .arg1_type = ARG_PTR_TO_UNINIT_MEM,
233 .arg2_type = ARG_CONST_SIZE_OR_ZERO,
234 .arg3_type = ARG_ANYTHING,
235};
236
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100237BPF_CALL_3(bpf_probe_read_kernel, void *, dst, u32, size,
238 const void *, unsafe_ptr)
239{
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700240 return bpf_probe_read_kernel_common(dst, size, unsafe_ptr);
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100241}
242
John Fastabendf4703782020-05-24 09:50:55 -0700243const struct bpf_func_proto bpf_probe_read_kernel_proto = {
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100244 .func = bpf_probe_read_kernel,
245 .gpl_only = true,
246 .ret_type = RET_INTEGER,
247 .arg1_type = ARG_PTR_TO_UNINIT_MEM,
248 .arg2_type = ARG_CONST_SIZE_OR_ZERO,
249 .arg3_type = ARG_ANYTHING,
250};
251
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100252static __always_inline int
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700253bpf_probe_read_kernel_str_common(void *dst, u32 size, const void *unsafe_ptr)
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100254{
Daniel Borkmannff40e512021-05-28 09:16:31 +0000255 int ret;
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700256
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100257 /*
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700258 * The strncpy_from_kernel_nofault() call will likely not fill the
259 * entire buffer, but that's okay in this circumstance as we're probing
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100260 * arbitrary memory anyway similar to bpf_probe_read_*() and might
261 * as well probe the stack. Thus, memory is explicitly cleared
262 * only in error case, so that improper users ignoring return
263 * code altogether don't copy garbage; otherwise length of string
264 * is returned that can be used for bpf_perf_event_output() et al.
265 */
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700266 ret = strncpy_from_kernel_nofault(dst, unsafe_ptr, size);
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100267 if (unlikely(ret < 0))
Daniel Borkmannff40e512021-05-28 09:16:31 +0000268 memset(dst, 0, size);
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100269 return ret;
270}
271
272BPF_CALL_3(bpf_probe_read_kernel_str, void *, dst, u32, size,
273 const void *, unsafe_ptr)
274{
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700275 return bpf_probe_read_kernel_str_common(dst, size, unsafe_ptr);
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100276}
277
John Fastabendf4703782020-05-24 09:50:55 -0700278const struct bpf_func_proto bpf_probe_read_kernel_str_proto = {
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100279 .func = bpf_probe_read_kernel_str,
280 .gpl_only = true,
281 .ret_type = RET_INTEGER,
282 .arg1_type = ARG_PTR_TO_UNINIT_MEM,
283 .arg2_type = ARG_CONST_SIZE_OR_ZERO,
284 .arg3_type = ARG_ANYTHING,
285};
286
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700287#ifdef CONFIG_ARCH_HAS_NON_OVERLAPPING_ADDRESS_SPACE
288BPF_CALL_3(bpf_probe_read_compat, void *, dst, u32, size,
289 const void *, unsafe_ptr)
290{
291 if ((unsigned long)unsafe_ptr < TASK_SIZE) {
292 return bpf_probe_read_user_common(dst, size,
293 (__force void __user *)unsafe_ptr);
294 }
295 return bpf_probe_read_kernel_common(dst, size, unsafe_ptr);
296}
297
298static const struct bpf_func_proto bpf_probe_read_compat_proto = {
299 .func = bpf_probe_read_compat,
300 .gpl_only = true,
301 .ret_type = RET_INTEGER,
302 .arg1_type = ARG_PTR_TO_UNINIT_MEM,
303 .arg2_type = ARG_CONST_SIZE_OR_ZERO,
304 .arg3_type = ARG_ANYTHING,
305};
306
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100307BPF_CALL_3(bpf_probe_read_compat_str, void *, dst, u32, size,
308 const void *, unsafe_ptr)
309{
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700310 if ((unsigned long)unsafe_ptr < TASK_SIZE) {
311 return bpf_probe_read_user_str_common(dst, size,
312 (__force void __user *)unsafe_ptr);
313 }
314 return bpf_probe_read_kernel_str_common(dst, size, unsafe_ptr);
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +0100315}
316
317static const struct bpf_func_proto bpf_probe_read_compat_str_proto = {
318 .func = bpf_probe_read_compat_str,
Alexei Starovoitov25415172015-03-25 12:49:20 -0700319 .gpl_only = true,
320 .ret_type = RET_INTEGER,
Alexei Starovoitov39f19ebb2017-01-09 10:19:50 -0800321 .arg1_type = ARG_PTR_TO_UNINIT_MEM,
Yonghong Song9c019e22017-11-12 14:49:10 -0800322 .arg2_type = ARG_CONST_SIZE_OR_ZERO,
Alexei Starovoitov25415172015-03-25 12:49:20 -0700323 .arg3_type = ARG_ANYTHING,
324};
Christoph Hellwig8d92db52020-06-08 21:34:40 -0700325#endif /* CONFIG_ARCH_HAS_NON_OVERLAPPING_ADDRESS_SPACE */
Alexei Starovoitov25415172015-03-25 12:49:20 -0700326
Daniel Borkmanneb1b6682019-11-02 00:17:58 +0100327BPF_CALL_3(bpf_probe_write_user, void __user *, unsafe_ptr, const void *, src,
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200328 u32, size)
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700329{
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700330 /*
331 * Ensure we're in user context which is safe for the helper to
332 * run. This helper has no business in a kthread.
333 *
334 * access_ok() should prevent writing to non-user memory, but in
335 * some situations (nommu, temporary switch, etc) access_ok() does
336 * not provide enough validation, hence the check on KERNEL_DS.
Nadav Amitc7b6f292019-04-25 17:11:43 -0700337 *
338 * nmi_uaccess_okay() ensures the probe is not run in an interim
339 * state, when the task or mm are switched. This is specifically
340 * required to prevent the use of temporary mm.
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700341 */
342
343 if (unlikely(in_interrupt() ||
344 current->flags & (PF_KTHREAD | PF_EXITING)))
345 return -EPERM;
Nadav Amitc7b6f292019-04-25 17:11:43 -0700346 if (unlikely(!nmi_uaccess_okay()))
347 return -EPERM;
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700348
Christoph Hellwigc0ee37e2020-06-17 09:37:54 +0200349 return copy_to_user_nofault(unsafe_ptr, src, size);
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700350}
351
352static const struct bpf_func_proto bpf_probe_write_user_proto = {
353 .func = bpf_probe_write_user,
354 .gpl_only = true,
355 .ret_type = RET_INTEGER,
356 .arg1_type = ARG_ANYTHING,
Hao Luo216e3cd2021-12-16 16:31:51 -0800357 .arg2_type = ARG_PTR_TO_MEM | MEM_RDONLY,
Alexei Starovoitov39f19ebb2017-01-09 10:19:50 -0800358 .arg3_type = ARG_CONST_SIZE,
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700359};
360
361static const struct bpf_func_proto *bpf_get_probe_write_proto(void)
362{
Alexei Starovoitov2c78ee82020-05-13 16:03:54 -0700363 if (!capable(CAP_SYS_ADMIN))
364 return NULL;
365
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700366 pr_warn_ratelimited("%s[%d] is installing a program with bpf_probe_write_user helper that may corrupt user memory!",
367 current->comm, task_pid_nr(current));
368
369 return &bpf_probe_write_user_proto;
370}
371
Florent Revestd9c9e4d2021-04-19 17:52:38 +0200372#define MAX_TRACE_PRINTK_VARARGS 3
373#define BPF_TRACE_PRINTK_SIZE 1024
Alan Maguireac5a72e2020-07-13 12:52:33 +0100374
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200375BPF_CALL_5(bpf_trace_printk, char *, fmt, u32, fmt_size, u64, arg1,
376 u64, arg2, u64, arg3)
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700377{
Florent Revestd9c9e4d2021-04-19 17:52:38 +0200378 u64 args[MAX_TRACE_PRINTK_VARARGS] = { arg1, arg2, arg3 };
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100379 struct bpf_bprintf_data data = {
380 .get_bin_args = true,
Jiri Olsae2bb9e012022-12-15 22:44:30 +0100381 .get_buf = true,
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100382 };
Florent Revestd9c9e4d2021-04-19 17:52:38 +0200383 int ret;
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700384
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100385 ret = bpf_bprintf_prepare(fmt, fmt_size, args,
386 MAX_TRACE_PRINTK_VARARGS, &data);
Florent Revestd9c9e4d2021-04-19 17:52:38 +0200387 if (ret < 0)
388 return ret;
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700389
Jiri Olsae2bb9e012022-12-15 22:44:30 +0100390 ret = bstr_printf(data.buf, MAX_BPRINTF_BUF, fmt, data.bin_args);
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700391
Jiri Olsae2bb9e012022-12-15 22:44:30 +0100392 trace_bpf_trace_printk(data.buf);
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700393
Jiri Olsaf19a4052022-12-15 22:44:29 +0100394 bpf_bprintf_cleanup(&data);
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700395
Florent Revestd9c9e4d2021-04-19 17:52:38 +0200396 return ret;
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700397}
398
399static const struct bpf_func_proto bpf_trace_printk_proto = {
400 .func = bpf_trace_printk,
401 .gpl_only = true,
402 .ret_type = RET_INTEGER,
Hao Luo216e3cd2021-12-16 16:31:51 -0800403 .arg1_type = ARG_PTR_TO_MEM | MEM_RDONLY,
Alexei Starovoitov39f19ebb2017-01-09 10:19:50 -0800404 .arg2_type = ARG_CONST_SIZE,
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700405};
406
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700407static void __set_printk_clr_event(void)
Alexei Starovoitov0756ea32015-06-12 19:39:13 -0700408{
409 /*
Alan Maguireac5a72e2020-07-13 12:52:33 +0100410 * This program might be calling bpf_trace_printk,
411 * so enable the associated bpf_trace/bpf_trace_printk event.
412 * Repeat this each time as it is possible a user has
413 * disabled bpf_trace_printk events. By loading a program
414 * calling bpf_trace_printk() however the user has expressed
415 * the intent to see such events.
Alexei Starovoitov0756ea32015-06-12 19:39:13 -0700416 */
Alan Maguireac5a72e2020-07-13 12:52:33 +0100417 if (trace_set_clr_event("bpf_trace", "bpf_trace_printk", 1))
418 pr_warn_ratelimited("could not enable bpf_trace_printk events");
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700419}
Alexei Starovoitov0756ea32015-06-12 19:39:13 -0700420
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700421const struct bpf_func_proto *bpf_get_trace_printk_proto(void)
422{
423 __set_printk_clr_event();
Alexei Starovoitov0756ea32015-06-12 19:39:13 -0700424 return &bpf_trace_printk_proto;
425}
426
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100427BPF_CALL_4(bpf_trace_vprintk, char *, fmt, u32, fmt_size, const void *, args,
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700428 u32, data_len)
429{
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100430 struct bpf_bprintf_data data = {
431 .get_bin_args = true,
Jiri Olsae2bb9e012022-12-15 22:44:30 +0100432 .get_buf = true,
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100433 };
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700434 int ret, num_args;
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700435
436 if (data_len & 7 || data_len > MAX_BPRINTF_VARARGS * 8 ||
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100437 (data_len && !args))
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700438 return -EINVAL;
439 num_args = data_len / 8;
440
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100441 ret = bpf_bprintf_prepare(fmt, fmt_size, args, num_args, &data);
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700442 if (ret < 0)
443 return ret;
444
Jiri Olsae2bb9e012022-12-15 22:44:30 +0100445 ret = bstr_printf(data.buf, MAX_BPRINTF_BUF, fmt, data.bin_args);
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700446
Jiri Olsae2bb9e012022-12-15 22:44:30 +0100447 trace_bpf_trace_printk(data.buf);
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700448
Jiri Olsaf19a4052022-12-15 22:44:29 +0100449 bpf_bprintf_cleanup(&data);
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700450
451 return ret;
452}
453
454static const struct bpf_func_proto bpf_trace_vprintk_proto = {
455 .func = bpf_trace_vprintk,
456 .gpl_only = true,
457 .ret_type = RET_INTEGER,
Hao Luo216e3cd2021-12-16 16:31:51 -0800458 .arg1_type = ARG_PTR_TO_MEM | MEM_RDONLY,
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700459 .arg2_type = ARG_CONST_SIZE,
Hao Luo216e3cd2021-12-16 16:31:51 -0800460 .arg3_type = ARG_PTR_TO_MEM | PTR_MAYBE_NULL | MEM_RDONLY,
Dave Marchevsky10aceb62021-09-17 11:29:05 -0700461 .arg4_type = ARG_CONST_SIZE_OR_ZERO,
462};
463
464const struct bpf_func_proto *bpf_get_trace_vprintk_proto(void)
465{
466 __set_printk_clr_event();
467 return &bpf_trace_vprintk_proto;
468}
469
Yonghong Song492e6392020-05-09 10:59:14 -0700470BPF_CALL_5(bpf_seq_printf, struct seq_file *, m, char *, fmt, u32, fmt_size,
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100471 const void *, args, u32, data_len)
Yonghong Song492e6392020-05-09 10:59:14 -0700472{
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100473 struct bpf_bprintf_data data = {
474 .get_bin_args = true,
475 };
Florent Revestd9c9e4d2021-04-19 17:52:38 +0200476 int err, num_args;
Yonghong Song492e6392020-05-09 10:59:14 -0700477
Dave Marchevsky335ff492021-09-17 11:29:03 -0700478 if (data_len & 7 || data_len > MAX_BPRINTF_VARARGS * 8 ||
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100479 (data_len && !args))
Florent Revestd9c9e4d2021-04-19 17:52:38 +0200480 return -EINVAL;
Yonghong Song492e6392020-05-09 10:59:14 -0700481 num_args = data_len / 8;
482
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100483 err = bpf_bprintf_prepare(fmt, fmt_size, args, num_args, &data);
Florent Revestd9c9e4d2021-04-19 17:52:38 +0200484 if (err < 0)
485 return err;
Yonghong Song492e6392020-05-09 10:59:14 -0700486
Jiri Olsa78aa1cc2022-12-15 22:44:28 +0100487 seq_bprintf(m, fmt, data.bin_args);
Yonghong Song492e6392020-05-09 10:59:14 -0700488
Jiri Olsaf19a4052022-12-15 22:44:29 +0100489 bpf_bprintf_cleanup(&data);
Florent Revestd9c9e4d2021-04-19 17:52:38 +0200490
491 return seq_has_overflowed(m) ? -EOVERFLOW : 0;
Yonghong Song492e6392020-05-09 10:59:14 -0700492}
493
Lorenz Bauer9436ef62020-09-21 13:12:20 +0100494BTF_ID_LIST_SINGLE(btf_seq_file_ids, struct, seq_file)
Jiri Olsac9a0f3b2020-07-11 23:53:24 +0200495
Yonghong Song492e6392020-05-09 10:59:14 -0700496static const struct bpf_func_proto bpf_seq_printf_proto = {
497 .func = bpf_seq_printf,
498 .gpl_only = true,
499 .ret_type = RET_INTEGER,
500 .arg1_type = ARG_PTR_TO_BTF_ID,
Lorenz Bauer9436ef62020-09-21 13:12:20 +0100501 .arg1_btf_id = &btf_seq_file_ids[0],
Hao Luo216e3cd2021-12-16 16:31:51 -0800502 .arg2_type = ARG_PTR_TO_MEM | MEM_RDONLY,
Yonghong Song492e6392020-05-09 10:59:14 -0700503 .arg3_type = ARG_CONST_SIZE,
Hao Luo216e3cd2021-12-16 16:31:51 -0800504 .arg4_type = ARG_PTR_TO_MEM | PTR_MAYBE_NULL | MEM_RDONLY,
Yonghong Song492e6392020-05-09 10:59:14 -0700505 .arg5_type = ARG_CONST_SIZE_OR_ZERO,
Yonghong Song492e6392020-05-09 10:59:14 -0700506};
507
508BPF_CALL_3(bpf_seq_write, struct seq_file *, m, const void *, data, u32, len)
509{
510 return seq_write(m, data, len) ? -EOVERFLOW : 0;
511}
512
Yonghong Song492e6392020-05-09 10:59:14 -0700513static const struct bpf_func_proto bpf_seq_write_proto = {
514 .func = bpf_seq_write,
515 .gpl_only = true,
516 .ret_type = RET_INTEGER,
517 .arg1_type = ARG_PTR_TO_BTF_ID,
Lorenz Bauer9436ef62020-09-21 13:12:20 +0100518 .arg1_btf_id = &btf_seq_file_ids[0],
Hao Luo216e3cd2021-12-16 16:31:51 -0800519 .arg2_type = ARG_PTR_TO_MEM | MEM_RDONLY,
Yonghong Song492e6392020-05-09 10:59:14 -0700520 .arg3_type = ARG_CONST_SIZE_OR_ZERO,
Yonghong Song492e6392020-05-09 10:59:14 -0700521};
522
Alan Maguireeb4113772020-09-28 12:31:09 +0100523BPF_CALL_4(bpf_seq_printf_btf, struct seq_file *, m, struct btf_ptr *, ptr,
524 u32, btf_ptr_size, u64, flags)
525{
526 const struct btf *btf;
527 s32 btf_id;
528 int ret;
529
530 ret = bpf_btf_printf_prepare(ptr, btf_ptr_size, flags, &btf, &btf_id);
531 if (ret)
532 return ret;
533
534 return btf_type_seq_show_flags(btf, btf_id, ptr->ptr, m, flags);
535}
536
537static const struct bpf_func_proto bpf_seq_printf_btf_proto = {
538 .func = bpf_seq_printf_btf,
539 .gpl_only = true,
540 .ret_type = RET_INTEGER,
541 .arg1_type = ARG_PTR_TO_BTF_ID,
542 .arg1_btf_id = &btf_seq_file_ids[0],
Hao Luo216e3cd2021-12-16 16:31:51 -0800543 .arg2_type = ARG_PTR_TO_MEM | MEM_RDONLY,
Alan Maguireeb4113772020-09-28 12:31:09 +0100544 .arg3_type = ARG_CONST_SIZE_OR_ZERO,
545 .arg4_type = ARG_ANYTHING,
Alexei Starovoitovd9847d32015-03-25 12:49:21 -0700546};
547
Yonghong Song908432c2017-10-05 09:19:20 -0700548static __always_inline int
549get_map_perf_counter(struct bpf_map *map, u64 flags,
550 u64 *value, u64 *enabled, u64 *running)
Kaixu Xia35578d72015-08-06 07:02:35 +0000551{
Kaixu Xia35578d72015-08-06 07:02:35 +0000552 struct bpf_array *array = container_of(map, struct bpf_array, map);
Daniel Borkmann6816a7f2016-06-28 12:18:25 +0200553 unsigned int cpu = smp_processor_id();
554 u64 index = flags & BPF_F_INDEX_MASK;
Daniel Borkmann3b1efb12016-06-15 22:47:14 +0200555 struct bpf_event_entry *ee;
Kaixu Xia35578d72015-08-06 07:02:35 +0000556
Daniel Borkmann6816a7f2016-06-28 12:18:25 +0200557 if (unlikely(flags & ~(BPF_F_INDEX_MASK)))
558 return -EINVAL;
559 if (index == BPF_F_CURRENT_CPU)
560 index = cpu;
Kaixu Xia35578d72015-08-06 07:02:35 +0000561 if (unlikely(index >= array->map.max_entries))
562 return -E2BIG;
563
Daniel Borkmann3b1efb12016-06-15 22:47:14 +0200564 ee = READ_ONCE(array->ptrs[index]);
Daniel Borkmann1ca1cc92016-06-28 12:18:23 +0200565 if (!ee)
Kaixu Xia35578d72015-08-06 07:02:35 +0000566 return -ENOENT;
567
Yonghong Song908432c2017-10-05 09:19:20 -0700568 return perf_event_read_local(ee->event, value, enabled, running);
569}
570
571BPF_CALL_2(bpf_perf_event_read, struct bpf_map *, map, u64, flags)
572{
573 u64 value = 0;
574 int err;
575
576 err = get_map_perf_counter(map, flags, &value, NULL, NULL);
Kaixu Xia35578d72015-08-06 07:02:35 +0000577 /*
Alexei Starovoitovf91840a2017-06-02 21:03:52 -0700578 * this api is ugly since we miss [-22..-2] range of valid
579 * counter values, but that's uapi
Kaixu Xia35578d72015-08-06 07:02:35 +0000580 */
Alexei Starovoitovf91840a2017-06-02 21:03:52 -0700581 if (err)
582 return err;
583 return value;
Kaixu Xia35578d72015-08-06 07:02:35 +0000584}
585
Alexei Starovoitov62544ce2015-10-22 17:10:14 -0700586static const struct bpf_func_proto bpf_perf_event_read_proto = {
Kaixu Xia35578d72015-08-06 07:02:35 +0000587 .func = bpf_perf_event_read,
Alexei Starovoitov1075ef52015-10-23 14:58:19 -0700588 .gpl_only = true,
Kaixu Xia35578d72015-08-06 07:02:35 +0000589 .ret_type = RET_INTEGER,
590 .arg1_type = ARG_CONST_MAP_PTR,
591 .arg2_type = ARG_ANYTHING,
592};
593
Yonghong Song908432c2017-10-05 09:19:20 -0700594BPF_CALL_4(bpf_perf_event_read_value, struct bpf_map *, map, u64, flags,
595 struct bpf_perf_event_value *, buf, u32, size)
596{
597 int err = -EINVAL;
598
599 if (unlikely(size != sizeof(struct bpf_perf_event_value)))
600 goto clear;
601 err = get_map_perf_counter(map, flags, &buf->counter, &buf->enabled,
602 &buf->running);
603 if (unlikely(err))
604 goto clear;
605 return 0;
606clear:
607 memset(buf, 0, size);
608 return err;
609}
610
611static const struct bpf_func_proto bpf_perf_event_read_value_proto = {
612 .func = bpf_perf_event_read_value,
613 .gpl_only = true,
614 .ret_type = RET_INTEGER,
615 .arg1_type = ARG_CONST_MAP_PTR,
616 .arg2_type = ARG_ANYTHING,
617 .arg3_type = ARG_PTR_TO_UNINIT_MEM,
618 .arg4_type = ARG_CONST_SIZE,
619};
620
Daniel Borkmann8e7a3922016-07-14 18:08:04 +0200621static __always_inline u64
622__bpf_perf_event_output(struct pt_regs *regs, struct bpf_map *map,
Daniel Borkmann283ca522017-12-12 02:25:30 +0100623 u64 flags, struct perf_sample_data *sd)
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700624{
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700625 struct bpf_array *array = container_of(map, struct bpf_array, map);
Daniel Borkmannd7931332016-06-28 12:18:24 +0200626 unsigned int cpu = smp_processor_id();
Daniel Borkmann1e337592016-04-18 21:01:23 +0200627 u64 index = flags & BPF_F_INDEX_MASK;
Daniel Borkmann3b1efb12016-06-15 22:47:14 +0200628 struct bpf_event_entry *ee;
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700629 struct perf_event *event;
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700630
Daniel Borkmann1e337592016-04-18 21:01:23 +0200631 if (index == BPF_F_CURRENT_CPU)
Daniel Borkmannd7931332016-06-28 12:18:24 +0200632 index = cpu;
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700633 if (unlikely(index >= array->map.max_entries))
634 return -E2BIG;
635
Daniel Borkmann3b1efb12016-06-15 22:47:14 +0200636 ee = READ_ONCE(array->ptrs[index]);
Daniel Borkmann1ca1cc92016-06-28 12:18:23 +0200637 if (!ee)
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700638 return -ENOENT;
639
Daniel Borkmann3b1efb12016-06-15 22:47:14 +0200640 event = ee->event;
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700641 if (unlikely(event->attr.type != PERF_TYPE_SOFTWARE ||
642 event->attr.config != PERF_COUNT_SW_BPF_OUTPUT))
643 return -EINVAL;
644
Daniel Borkmannd7931332016-06-28 12:18:24 +0200645 if (unlikely(event->oncpu != cpu))
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700646 return -EOPNOTSUPP;
647
Arnaldo Carvalho de Melo56201962019-01-11 13:20:20 -0300648 return perf_event_output(event, sd, regs);
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700649}
650
Matt Mullins9594dc32019-06-11 14:53:04 -0700651/*
652 * Support executing tracepoints in normal, irq, and nmi context that each call
653 * bpf_perf_event_output
654 */
655struct bpf_trace_sample_data {
656 struct perf_sample_data sds[3];
657};
658
659static DEFINE_PER_CPU(struct bpf_trace_sample_data, bpf_trace_sds);
660static DEFINE_PER_CPU(int, bpf_trace_nest_level);
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200661BPF_CALL_5(bpf_perf_event_output, struct pt_regs *, regs, struct bpf_map *, map,
662 u64, flags, void *, data, u64, size)
Daniel Borkmann8e7a3922016-07-14 18:08:04 +0200663{
Jiri Olsaf2c67a32023-07-25 10:42:05 +0200664 struct bpf_trace_sample_data *sds;
Daniel Borkmann8e7a3922016-07-14 18:08:04 +0200665 struct perf_raw_record raw = {
666 .frag = {
667 .size = size,
668 .data = data,
669 },
670 };
Matt Mullins9594dc32019-06-11 14:53:04 -0700671 struct perf_sample_data *sd;
Jiri Olsaf2c67a32023-07-25 10:42:05 +0200672 int nest_level, err;
673
674 preempt_disable();
675 sds = this_cpu_ptr(&bpf_trace_sds);
676 nest_level = this_cpu_inc_return(bpf_trace_nest_level);
Daniel Borkmann8e7a3922016-07-14 18:08:04 +0200677
Matt Mullins9594dc32019-06-11 14:53:04 -0700678 if (WARN_ON_ONCE(nest_level > ARRAY_SIZE(sds->sds))) {
679 err = -EBUSY;
680 goto out;
681 }
682
683 sd = &sds->sds[nest_level - 1];
684
685 if (unlikely(flags & ~(BPF_F_INDEX_MASK))) {
686 err = -EINVAL;
687 goto out;
688 }
Daniel Borkmann8e7a3922016-07-14 18:08:04 +0200689
Daniel Borkmann283ca522017-12-12 02:25:30 +0100690 perf_sample_data_init(sd, 0, 0);
Namhyung Kim0a9081c2023-01-17 22:05:54 -0800691 perf_sample_save_raw_data(sd, &raw);
Daniel Borkmann283ca522017-12-12 02:25:30 +0100692
Matt Mullins9594dc32019-06-11 14:53:04 -0700693 err = __bpf_perf_event_output(regs, map, flags, sd);
Matt Mullins9594dc32019-06-11 14:53:04 -0700694out:
695 this_cpu_dec(bpf_trace_nest_level);
Jiri Olsaf2c67a32023-07-25 10:42:05 +0200696 preempt_enable();
Matt Mullins9594dc32019-06-11 14:53:04 -0700697 return err;
Daniel Borkmann8e7a3922016-07-14 18:08:04 +0200698}
699
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700700static const struct bpf_func_proto bpf_perf_event_output_proto = {
701 .func = bpf_perf_event_output,
Alexei Starovoitov1075ef52015-10-23 14:58:19 -0700702 .gpl_only = true,
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700703 .ret_type = RET_INTEGER,
704 .arg1_type = ARG_PTR_TO_CTX,
705 .arg2_type = ARG_CONST_MAP_PTR,
706 .arg3_type = ARG_ANYTHING,
Hao Luo216e3cd2021-12-16 16:31:51 -0800707 .arg4_type = ARG_PTR_TO_MEM | MEM_RDONLY,
Gianluca Borelloa60dd352017-11-22 18:32:56 +0000708 .arg5_type = ARG_CONST_SIZE_OR_ZERO,
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700709};
710
Allan Zhang768fb612019-09-25 16:43:12 -0700711static DEFINE_PER_CPU(int, bpf_event_output_nest_level);
712struct bpf_nested_pt_regs {
713 struct pt_regs regs[3];
714};
715static DEFINE_PER_CPU(struct bpf_nested_pt_regs, bpf_pt_regs);
716static DEFINE_PER_CPU(struct bpf_trace_sample_data, bpf_misc_sds);
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200717
Daniel Borkmann555c8a82016-07-14 18:08:05 +0200718u64 bpf_event_output(struct bpf_map *map, u64 flags, void *meta, u64 meta_size,
719 void *ctx, u64 ctx_size, bpf_ctx_copy_t ctx_copy)
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200720{
Daniel Borkmann555c8a82016-07-14 18:08:05 +0200721 struct perf_raw_frag frag = {
722 .copy = ctx_copy,
723 .size = ctx_size,
724 .data = ctx,
725 };
726 struct perf_raw_record raw = {
727 .frag = {
Andrew Morton183fc152016-07-18 15:50:58 -0700728 {
729 .next = ctx_size ? &frag : NULL,
730 },
Daniel Borkmann555c8a82016-07-14 18:08:05 +0200731 .size = meta_size,
732 .data = meta,
733 },
734 };
Allan Zhang768fb612019-09-25 16:43:12 -0700735 struct perf_sample_data *sd;
736 struct pt_regs *regs;
Jiri Olsad62cc392023-07-25 10:42:06 +0200737 int nest_level;
Allan Zhang768fb612019-09-25 16:43:12 -0700738 u64 ret;
739
Jiri Olsad62cc392023-07-25 10:42:06 +0200740 preempt_disable();
741 nest_level = this_cpu_inc_return(bpf_event_output_nest_level);
742
Allan Zhang768fb612019-09-25 16:43:12 -0700743 if (WARN_ON_ONCE(nest_level > ARRAY_SIZE(bpf_misc_sds.sds))) {
744 ret = -EBUSY;
745 goto out;
746 }
747 sd = this_cpu_ptr(&bpf_misc_sds.sds[nest_level - 1]);
748 regs = this_cpu_ptr(&bpf_pt_regs.regs[nest_level - 1]);
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200749
750 perf_fetch_caller_regs(regs);
Daniel Borkmann283ca522017-12-12 02:25:30 +0100751 perf_sample_data_init(sd, 0, 0);
Namhyung Kim0a9081c2023-01-17 22:05:54 -0800752 perf_sample_save_raw_data(sd, &raw);
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200753
Allan Zhang768fb612019-09-25 16:43:12 -0700754 ret = __bpf_perf_event_output(regs, map, flags, sd);
755out:
756 this_cpu_dec(bpf_event_output_nest_level);
Jiri Olsad62cc392023-07-25 10:42:06 +0200757 preempt_enable();
Allan Zhang768fb612019-09-25 16:43:12 -0700758 return ret;
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200759}
760
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200761BPF_CALL_0(bpf_get_current_task)
Alexei Starovoitov606274c2016-07-06 22:38:36 -0700762{
763 return (long) current;
764}
765
John Fastabendf4703782020-05-24 09:50:55 -0700766const struct bpf_func_proto bpf_get_current_task_proto = {
Alexei Starovoitov606274c2016-07-06 22:38:36 -0700767 .func = bpf_get_current_task,
768 .gpl_only = true,
769 .ret_type = RET_INTEGER,
770};
771
KP Singh3ca10322020-11-06 10:37:43 +0000772BPF_CALL_0(bpf_get_current_task_btf)
773{
774 return (unsigned long) current;
775}
776
Daniel Xua396eda2021-08-23 19:43:48 -0700777const struct bpf_func_proto bpf_get_current_task_btf_proto = {
KP Singh3ca10322020-11-06 10:37:43 +0000778 .func = bpf_get_current_task_btf,
779 .gpl_only = true,
David Vernet3f00c522022-11-19 23:10:02 -0600780 .ret_type = RET_PTR_TO_BTF_ID_TRUSTED,
Song Liud19ddb42021-11-12 07:02:43 -0800781 .ret_btf_id = &btf_tracing_ids[BTF_TRACING_TYPE_TASK],
KP Singh3ca10322020-11-06 10:37:43 +0000782};
783
Daniel Xudd6e10f2021-08-23 19:43:49 -0700784BPF_CALL_1(bpf_task_pt_regs, struct task_struct *, task)
785{
786 return (unsigned long) task_pt_regs(task);
787}
788
789BTF_ID_LIST(bpf_task_pt_regs_ids)
790BTF_ID(struct, pt_regs)
791
792const struct bpf_func_proto bpf_task_pt_regs_proto = {
793 .func = bpf_task_pt_regs,
794 .gpl_only = true,
795 .arg1_type = ARG_PTR_TO_BTF_ID,
Song Liud19ddb42021-11-12 07:02:43 -0800796 .arg1_btf_id = &btf_tracing_ids[BTF_TRACING_TYPE_TASK],
Daniel Xudd6e10f2021-08-23 19:43:49 -0700797 .ret_type = RET_PTR_TO_BTF_ID,
798 .ret_btf_id = &bpf_task_pt_regs_ids[0],
799};
800
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200801BPF_CALL_2(bpf_current_task_under_cgroup, struct bpf_map *, map, u32, idx)
Sargun Dhillon60d20f92016-08-12 08:56:52 -0700802{
Sargun Dhillon60d20f92016-08-12 08:56:52 -0700803 struct bpf_array *array = container_of(map, struct bpf_array, map);
804 struct cgroup *cgrp;
Sargun Dhillon60d20f92016-08-12 08:56:52 -0700805
Sargun Dhillon60d20f92016-08-12 08:56:52 -0700806 if (unlikely(idx >= array->map.max_entries))
807 return -E2BIG;
808
809 cgrp = READ_ONCE(array->ptrs[idx]);
810 if (unlikely(!cgrp))
811 return -EAGAIN;
812
813 return task_under_cgroup_hierarchy(current, cgrp);
814}
815
816static const struct bpf_func_proto bpf_current_task_under_cgroup_proto = {
817 .func = bpf_current_task_under_cgroup,
818 .gpl_only = false,
819 .ret_type = RET_INTEGER,
820 .arg1_type = ARG_CONST_MAP_PTR,
821 .arg2_type = ARG_ANYTHING,
822};
823
Yonghong Song8b401f92019-05-23 14:47:45 -0700824struct send_signal_irq_work {
825 struct irq_work irq_work;
826 struct task_struct *task;
827 u32 sig;
Yonghong Song84829412020-01-14 19:50:02 -0800828 enum pid_type type;
Yonghong Song8b401f92019-05-23 14:47:45 -0700829};
830
831static DEFINE_PER_CPU(struct send_signal_irq_work, send_signal_work);
832
833static void do_bpf_send_signal(struct irq_work *entry)
834{
835 struct send_signal_irq_work *work;
836
837 work = container_of(entry, struct send_signal_irq_work, irq_work);
Yonghong Song84829412020-01-14 19:50:02 -0800838 group_send_sig_info(work->sig, SEND_SIG_PRIV, work->task, work->type);
Yonghong Songbdb7fdb2023-01-18 12:48:15 -0800839 put_task_struct(work->task);
Yonghong Song8b401f92019-05-23 14:47:45 -0700840}
841
Yonghong Song84829412020-01-14 19:50:02 -0800842static int bpf_send_signal_common(u32 sig, enum pid_type type)
Yonghong Song8b401f92019-05-23 14:47:45 -0700843{
844 struct send_signal_irq_work *work = NULL;
845
846 /* Similar to bpf_probe_write_user, task needs to be
847 * in a sound condition and kernel memory access be
848 * permitted in order to send signal to the current
849 * task.
850 */
851 if (unlikely(current->flags & (PF_KTHREAD | PF_EXITING)))
852 return -EPERM;
Yonghong Song8b401f92019-05-23 14:47:45 -0700853 if (unlikely(!nmi_uaccess_okay()))
854 return -EPERM;
Hao Suna3d81bc2023-01-06 16:48:38 +0800855 /* Task should not be pid=1 to avoid kernel panic. */
856 if (unlikely(is_global_init(current)))
857 return -EPERM;
Yonghong Song8b401f92019-05-23 14:47:45 -0700858
Yonghong Song1bc78962020-03-04 11:11:04 -0800859 if (irqs_disabled()) {
Yonghong Songe1afb7022019-05-25 11:57:53 -0700860 /* Do an early check on signal validity. Otherwise,
861 * the error is lost in deferred irq_work.
862 */
863 if (unlikely(!valid_signal(sig)))
864 return -EINVAL;
865
Yonghong Song8b401f92019-05-23 14:47:45 -0700866 work = this_cpu_ptr(&send_signal_work);
Peter Zijlstra7a9f50a2020-06-15 11:51:29 +0200867 if (irq_work_is_busy(&work->irq_work))
Yonghong Song8b401f92019-05-23 14:47:45 -0700868 return -EBUSY;
869
870 /* Add the current task, which is the target of sending signal,
871 * to the irq_work. The current task may change when queued
872 * irq works get executed.
873 */
Yonghong Songbdb7fdb2023-01-18 12:48:15 -0800874 work->task = get_task_struct(current);
Yonghong Song8b401f92019-05-23 14:47:45 -0700875 work->sig = sig;
Yonghong Song84829412020-01-14 19:50:02 -0800876 work->type = type;
Yonghong Song8b401f92019-05-23 14:47:45 -0700877 irq_work_queue(&work->irq_work);
878 return 0;
879 }
880
Yonghong Song84829412020-01-14 19:50:02 -0800881 return group_send_sig_info(sig, SEND_SIG_PRIV, current, type);
882}
883
884BPF_CALL_1(bpf_send_signal, u32, sig)
885{
886 return bpf_send_signal_common(sig, PIDTYPE_TGID);
Yonghong Song8b401f92019-05-23 14:47:45 -0700887}
888
889static const struct bpf_func_proto bpf_send_signal_proto = {
890 .func = bpf_send_signal,
891 .gpl_only = false,
892 .ret_type = RET_INTEGER,
893 .arg1_type = ARG_ANYTHING,
894};
895
Yonghong Song84829412020-01-14 19:50:02 -0800896BPF_CALL_1(bpf_send_signal_thread, u32, sig)
897{
898 return bpf_send_signal_common(sig, PIDTYPE_PID);
899}
900
901static const struct bpf_func_proto bpf_send_signal_thread_proto = {
902 .func = bpf_send_signal_thread,
903 .gpl_only = false,
904 .ret_type = RET_INTEGER,
905 .arg1_type = ARG_ANYTHING,
906};
907
Jiri Olsa6e22ab92020-08-25 21:21:20 +0200908BPF_CALL_3(bpf_d_path, struct path *, path, char *, buf, u32, sz)
909{
Jiri Olsaf46fab02023-06-06 11:17:14 -0700910 struct path copy;
Jiri Olsa6e22ab92020-08-25 21:21:20 +0200911 long len;
912 char *p;
913
914 if (!sz)
915 return 0;
916
Jiri Olsaf46fab02023-06-06 11:17:14 -0700917 /*
918 * The path pointer is verified as trusted and safe to use,
919 * but let's double check it's valid anyway to workaround
920 * potentially broken verifier.
921 */
922 len = copy_from_kernel_nofault(&copy, path, sizeof(*path));
923 if (len < 0)
924 return len;
925
926 p = d_path(&copy, buf, sz);
Jiri Olsa6e22ab92020-08-25 21:21:20 +0200927 if (IS_ERR(p)) {
928 len = PTR_ERR(p);
929 } else {
930 len = buf + sz - p;
931 memmove(buf, p, len);
932 }
933
934 return len;
935}
936
937BTF_SET_START(btf_allowlist_d_path)
Jiri Olsaa8a71792020-09-18 13:23:38 +0200938#ifdef CONFIG_SECURITY
939BTF_ID(func, security_file_permission)
940BTF_ID(func, security_inode_getattr)
941BTF_ID(func, security_file_open)
942#endif
943#ifdef CONFIG_SECURITY_PATH
944BTF_ID(func, security_path_truncate)
945#endif
Jiri Olsa6e22ab92020-08-25 21:21:20 +0200946BTF_ID(func, vfs_truncate)
947BTF_ID(func, vfs_fallocate)
948BTF_ID(func, dentry_open)
949BTF_ID(func, vfs_getattr)
950BTF_ID(func, filp_close)
951BTF_SET_END(btf_allowlist_d_path)
952
953static bool bpf_d_path_allowed(const struct bpf_prog *prog)
954{
Song Liu3d06f342021-02-12 10:31:06 -0800955 if (prog->type == BPF_PROG_TYPE_TRACING &&
956 prog->expected_attach_type == BPF_TRACE_ITER)
957 return true;
958
KP Singh6f100642020-11-13 00:59:30 +0000959 if (prog->type == BPF_PROG_TYPE_LSM)
960 return bpf_lsm_is_sleepable_hook(prog->aux->attach_btf_id);
961
962 return btf_id_set_contains(&btf_allowlist_d_path,
963 prog->aux->attach_btf_id);
Jiri Olsa6e22ab92020-08-25 21:21:20 +0200964}
965
Lorenz Bauer9436ef62020-09-21 13:12:20 +0100966BTF_ID_LIST_SINGLE(bpf_d_path_btf_ids, struct, path)
Jiri Olsa6e22ab92020-08-25 21:21:20 +0200967
968static const struct bpf_func_proto bpf_d_path_proto = {
969 .func = bpf_d_path,
970 .gpl_only = false,
971 .ret_type = RET_INTEGER,
972 .arg1_type = ARG_PTR_TO_BTF_ID,
Lorenz Bauer9436ef62020-09-21 13:12:20 +0100973 .arg1_btf_id = &bpf_d_path_btf_ids[0],
Jiri Olsa6e22ab92020-08-25 21:21:20 +0200974 .arg2_type = ARG_PTR_TO_MEM,
975 .arg3_type = ARG_CONST_SIZE_OR_ZERO,
Jiri Olsa6e22ab92020-08-25 21:21:20 +0200976 .allowed = bpf_d_path_allowed,
977};
978
Alan Maguirec4d0bfb2020-09-28 12:31:05 +0100979#define BTF_F_ALL (BTF_F_COMPACT | BTF_F_NONAME | \
980 BTF_F_PTR_RAW | BTF_F_ZERO)
981
982static int bpf_btf_printf_prepare(struct btf_ptr *ptr, u32 btf_ptr_size,
983 u64 flags, const struct btf **btf,
984 s32 *btf_id)
985{
986 const struct btf_type *t;
987
988 if (unlikely(flags & ~(BTF_F_ALL)))
989 return -EINVAL;
990
991 if (btf_ptr_size != sizeof(struct btf_ptr))
992 return -EINVAL;
993
994 *btf = bpf_get_btf_vmlinux();
995
996 if (IS_ERR_OR_NULL(*btf))
Wang Qingabbaa432020-11-07 15:45:44 +0800997 return IS_ERR(*btf) ? PTR_ERR(*btf) : -EINVAL;
Alan Maguirec4d0bfb2020-09-28 12:31:05 +0100998
999 if (ptr->type_id > 0)
1000 *btf_id = ptr->type_id;
1001 else
1002 return -EINVAL;
1003
1004 if (*btf_id > 0)
1005 t = btf_type_by_id(*btf, *btf_id);
1006 if (*btf_id <= 0 || !t)
1007 return -ENOENT;
1008
1009 return 0;
1010}
1011
1012BPF_CALL_5(bpf_snprintf_btf, char *, str, u32, str_size, struct btf_ptr *, ptr,
1013 u32, btf_ptr_size, u64, flags)
1014{
1015 const struct btf *btf;
1016 s32 btf_id;
1017 int ret;
1018
1019 ret = bpf_btf_printf_prepare(ptr, btf_ptr_size, flags, &btf, &btf_id);
1020 if (ret)
1021 return ret;
1022
1023 return btf_type_snprintf_show(btf, btf_id, ptr->ptr, str, str_size,
1024 flags);
1025}
1026
1027const struct bpf_func_proto bpf_snprintf_btf_proto = {
1028 .func = bpf_snprintf_btf,
1029 .gpl_only = false,
1030 .ret_type = RET_INTEGER,
1031 .arg1_type = ARG_PTR_TO_MEM,
1032 .arg2_type = ARG_CONST_SIZE,
Hao Luo216e3cd2021-12-16 16:31:51 -08001033 .arg3_type = ARG_PTR_TO_MEM | MEM_RDONLY,
Alan Maguirec4d0bfb2020-09-28 12:31:05 +01001034 .arg4_type = ARG_CONST_SIZE,
1035 .arg5_type = ARG_ANYTHING,
1036};
1037
Jiri Olsa9b99edc2021-07-14 11:43:55 +02001038BPF_CALL_1(bpf_get_func_ip_tracing, void *, ctx)
1039{
1040 /* This helper call is inlined by verifier. */
Jiri Olsaf92c1e12021-12-08 20:32:44 +01001041 return ((u64 *)ctx)[-2];
Jiri Olsa9b99edc2021-07-14 11:43:55 +02001042}
1043
1044static const struct bpf_func_proto bpf_get_func_ip_proto_tracing = {
1045 .func = bpf_get_func_ip_tracing,
1046 .gpl_only = true,
1047 .ret_type = RET_INTEGER,
1048 .arg1_type = ARG_PTR_TO_CTX,
1049};
1050
Jiri Olsac09eb2e2022-09-26 17:33:38 +02001051#ifdef CONFIG_X86_KERNEL_IBT
1052static unsigned long get_entry_ip(unsigned long fentry_ip)
1053{
1054 u32 instr;
1055
1056 /* Being extra safe in here in case entry ip is on the page-edge. */
1057 if (get_kernel_nofault(instr, (u32 *) fentry_ip - 1))
1058 return fentry_ip;
1059 if (is_endbr(instr))
1060 fentry_ip -= ENDBR_INSN_SIZE;
1061 return fentry_ip;
1062}
1063#else
1064#define get_entry_ip(fentry_ip) fentry_ip
1065#endif
1066
Jiri Olsa9ffd9f32021-07-14 11:43:56 +02001067BPF_CALL_1(bpf_get_func_ip_kprobe, struct pt_regs *, regs)
1068{
Jiri Olsaa3c485a2023-08-07 10:59:54 +02001069 struct bpf_trace_run_ctx *run_ctx __maybe_unused;
1070 struct kprobe *kp;
1071
1072#ifdef CONFIG_UPROBES
1073 run_ctx = container_of(current->bpf_ctx, struct bpf_trace_run_ctx, run_ctx);
1074 if (run_ctx->is_uprobe)
1075 return ((struct uprobe_dispatch_data *)current->utask->vaddr)->bp_addr;
1076#endif
1077
1078 kp = kprobe_running();
Jiri Olsa9ffd9f32021-07-14 11:43:56 +02001079
Jiri Olsa0e253f72022-09-26 17:33:39 +02001080 if (!kp || !(kp->flags & KPROBE_FLAG_ON_FUNC_ENTRY))
1081 return 0;
1082
1083 return get_entry_ip((uintptr_t)kp->addr);
Jiri Olsa9ffd9f32021-07-14 11:43:56 +02001084}
1085
1086static const struct bpf_func_proto bpf_get_func_ip_proto_kprobe = {
1087 .func = bpf_get_func_ip_kprobe,
1088 .gpl_only = true,
1089 .ret_type = RET_INTEGER,
1090 .arg1_type = ARG_PTR_TO_CTX,
1091};
1092
Jiri Olsa42a57122022-03-16 13:24:10 +01001093BPF_CALL_1(bpf_get_func_ip_kprobe_multi, struct pt_regs *, regs)
1094{
Jiri Olsaf7098692022-03-21 08:01:13 +01001095 return bpf_kprobe_multi_entry_ip(current->bpf_ctx);
Jiri Olsa42a57122022-03-16 13:24:10 +01001096}
1097
1098static const struct bpf_func_proto bpf_get_func_ip_proto_kprobe_multi = {
1099 .func = bpf_get_func_ip_kprobe_multi,
1100 .gpl_only = false,
1101 .ret_type = RET_INTEGER,
1102 .arg1_type = ARG_PTR_TO_CTX,
1103};
1104
Jiri Olsaca748232022-03-16 13:24:12 +01001105BPF_CALL_1(bpf_get_attach_cookie_kprobe_multi, struct pt_regs *, regs)
1106{
Jiri Olsaf7098692022-03-21 08:01:13 +01001107 return bpf_kprobe_multi_cookie(current->bpf_ctx);
Jiri Olsaca748232022-03-16 13:24:12 +01001108}
1109
1110static const struct bpf_func_proto bpf_get_attach_cookie_proto_kmulti = {
1111 .func = bpf_get_attach_cookie_kprobe_multi,
1112 .gpl_only = false,
1113 .ret_type = RET_INTEGER,
1114 .arg1_type = ARG_PTR_TO_CTX,
1115};
1116
Jiri Olsa686328d2023-08-09 10:34:18 +02001117BPF_CALL_1(bpf_get_func_ip_uprobe_multi, struct pt_regs *, regs)
1118{
1119 return bpf_uprobe_multi_entry_ip(current->bpf_ctx);
1120}
1121
1122static const struct bpf_func_proto bpf_get_func_ip_proto_uprobe_multi = {
1123 .func = bpf_get_func_ip_uprobe_multi,
1124 .gpl_only = false,
1125 .ret_type = RET_INTEGER,
1126 .arg1_type = ARG_PTR_TO_CTX,
1127};
1128
Jiri Olsa0b779b62023-08-09 10:34:16 +02001129BPF_CALL_1(bpf_get_attach_cookie_uprobe_multi, struct pt_regs *, regs)
1130{
1131 return bpf_uprobe_multi_cookie(current->bpf_ctx);
1132}
1133
1134static const struct bpf_func_proto bpf_get_attach_cookie_proto_umulti = {
1135 .func = bpf_get_attach_cookie_uprobe_multi,
1136 .gpl_only = false,
1137 .ret_type = RET_INTEGER,
1138 .arg1_type = ARG_PTR_TO_CTX,
1139};
1140
Andrii Nakryiko7adfc6c2021-08-15 00:05:59 -07001141BPF_CALL_1(bpf_get_attach_cookie_trace, void *, ctx)
1142{
1143 struct bpf_trace_run_ctx *run_ctx;
1144
1145 run_ctx = container_of(current->bpf_ctx, struct bpf_trace_run_ctx, run_ctx);
1146 return run_ctx->bpf_cookie;
1147}
1148
1149static const struct bpf_func_proto bpf_get_attach_cookie_proto_trace = {
1150 .func = bpf_get_attach_cookie_trace,
1151 .gpl_only = false,
1152 .ret_type = RET_INTEGER,
1153 .arg1_type = ARG_PTR_TO_CTX,
1154};
1155
1156BPF_CALL_1(bpf_get_attach_cookie_pe, struct bpf_perf_event_data_kern *, ctx)
1157{
1158 return ctx->event->bpf_cookie;
1159}
1160
1161static const struct bpf_func_proto bpf_get_attach_cookie_proto_pe = {
1162 .func = bpf_get_attach_cookie_pe,
1163 .gpl_only = false,
1164 .ret_type = RET_INTEGER,
1165 .arg1_type = ARG_PTR_TO_CTX,
1166};
1167
Kui-Feng Lee2fcc8242022-05-10 13:59:21 -07001168BPF_CALL_1(bpf_get_attach_cookie_tracing, void *, ctx)
1169{
1170 struct bpf_trace_run_ctx *run_ctx;
1171
1172 run_ctx = container_of(current->bpf_ctx, struct bpf_trace_run_ctx, run_ctx);
1173 return run_ctx->bpf_cookie;
1174}
1175
1176static const struct bpf_func_proto bpf_get_attach_cookie_proto_tracing = {
1177 .func = bpf_get_attach_cookie_tracing,
1178 .gpl_only = false,
1179 .ret_type = RET_INTEGER,
1180 .arg1_type = ARG_PTR_TO_CTX,
1181};
1182
Song Liu856c02d2021-09-10 11:33:51 -07001183BPF_CALL_3(bpf_get_branch_snapshot, void *, buf, u32, size, u64, flags)
1184{
1185#ifndef CONFIG_X86
1186 return -ENOENT;
1187#else
1188 static const u32 br_entry_size = sizeof(struct perf_branch_entry);
1189 u32 entry_cnt = size / br_entry_size;
1190
1191 entry_cnt = static_call(perf_snapshot_branch_stack)(buf, entry_cnt);
1192
1193 if (unlikely(flags))
1194 return -EINVAL;
1195
1196 if (!entry_cnt)
1197 return -ENOENT;
1198
1199 return entry_cnt * br_entry_size;
1200#endif
1201}
1202
1203static const struct bpf_func_proto bpf_get_branch_snapshot_proto = {
1204 .func = bpf_get_branch_snapshot,
1205 .gpl_only = true,
1206 .ret_type = RET_INTEGER,
1207 .arg1_type = ARG_PTR_TO_UNINIT_MEM,
1208 .arg2_type = ARG_CONST_SIZE_OR_ZERO,
1209};
1210
Jiri Olsaf92c1e12021-12-08 20:32:44 +01001211BPF_CALL_3(get_func_arg, void *, ctx, u32, n, u64 *, value)
1212{
1213 /* This helper call is inlined by verifier. */
1214 u64 nr_args = ((u64 *)ctx)[-1];
1215
1216 if ((u64) n >= nr_args)
1217 return -EINVAL;
1218 *value = ((u64 *)ctx)[n];
1219 return 0;
1220}
1221
1222static const struct bpf_func_proto bpf_get_func_arg_proto = {
1223 .func = get_func_arg,
1224 .ret_type = RET_INTEGER,
1225 .arg1_type = ARG_PTR_TO_CTX,
1226 .arg2_type = ARG_ANYTHING,
1227 .arg3_type = ARG_PTR_TO_LONG,
1228};
1229
1230BPF_CALL_2(get_func_ret, void *, ctx, u64 *, value)
1231{
1232 /* This helper call is inlined by verifier. */
1233 u64 nr_args = ((u64 *)ctx)[-1];
1234
1235 *value = ((u64 *)ctx)[nr_args];
1236 return 0;
1237}
1238
1239static const struct bpf_func_proto bpf_get_func_ret_proto = {
1240 .func = get_func_ret,
1241 .ret_type = RET_INTEGER,
1242 .arg1_type = ARG_PTR_TO_CTX,
1243 .arg2_type = ARG_PTR_TO_LONG,
1244};
1245
1246BPF_CALL_1(get_func_arg_cnt, void *, ctx)
1247{
1248 /* This helper call is inlined by verifier. */
1249 return ((u64 *)ctx)[-1];
1250}
1251
1252static const struct bpf_func_proto bpf_get_func_arg_cnt_proto = {
1253 .func = get_func_arg_cnt,
1254 .ret_type = RET_INTEGER,
1255 .arg1_type = ARG_PTR_TO_CTX,
1256};
1257
Roberto Sassuf3cf4132022-09-20 09:59:45 +02001258#ifdef CONFIG_KEYS
Dave Marchevsky391145b2023-10-31 14:56:24 -07001259__bpf_kfunc_start_defs();
Roberto Sassuf3cf4132022-09-20 09:59:45 +02001260
1261/**
1262 * bpf_lookup_user_key - lookup a key by its serial
1263 * @serial: key handle serial number
1264 * @flags: lookup-specific flags
1265 *
1266 * Search a key with a given *serial* and the provided *flags*.
1267 * If found, increment the reference count of the key by one, and
1268 * return it in the bpf_key structure.
1269 *
1270 * The bpf_key structure must be passed to bpf_key_put() when done
1271 * with it, so that the key reference count is decremented and the
1272 * bpf_key structure is freed.
1273 *
1274 * Permission checks are deferred to the time the key is used by
1275 * one of the available key-specific kfuncs.
1276 *
1277 * Set *flags* with KEY_LOOKUP_CREATE, to attempt creating a requested
1278 * special keyring (e.g. session keyring), if it doesn't yet exist.
1279 * Set *flags* with KEY_LOOKUP_PARTIAL, to lookup a key without waiting
1280 * for the key construction, and to retrieve uninstantiated keys (keys
1281 * without data attached to them).
1282 *
1283 * Return: a bpf_key pointer with a valid key pointer if the key is found, a
1284 * NULL pointer otherwise.
1285 */
David Vernet400031e2023-02-01 11:30:15 -06001286__bpf_kfunc struct bpf_key *bpf_lookup_user_key(u32 serial, u64 flags)
Roberto Sassuf3cf4132022-09-20 09:59:45 +02001287{
1288 key_ref_t key_ref;
1289 struct bpf_key *bkey;
1290
1291 if (flags & ~KEY_LOOKUP_ALL)
1292 return NULL;
1293
1294 /*
1295 * Permission check is deferred until the key is used, as the
1296 * intent of the caller is unknown here.
1297 */
1298 key_ref = lookup_user_key(serial, flags, KEY_DEFER_PERM_CHECK);
1299 if (IS_ERR(key_ref))
1300 return NULL;
1301
1302 bkey = kmalloc(sizeof(*bkey), GFP_KERNEL);
1303 if (!bkey) {
1304 key_put(key_ref_to_ptr(key_ref));
1305 return NULL;
1306 }
1307
1308 bkey->key = key_ref_to_ptr(key_ref);
1309 bkey->has_ref = true;
1310
1311 return bkey;
1312}
1313
1314/**
1315 * bpf_lookup_system_key - lookup a key by a system-defined ID
1316 * @id: key ID
1317 *
1318 * Obtain a bpf_key structure with a key pointer set to the passed key ID.
1319 * The key pointer is marked as invalid, to prevent bpf_key_put() from
1320 * attempting to decrement the key reference count on that pointer. The key
1321 * pointer set in such way is currently understood only by
1322 * verify_pkcs7_signature().
1323 *
1324 * Set *id* to one of the values defined in include/linux/verification.h:
1325 * 0 for the primary keyring (immutable keyring of system keys);
1326 * VERIFY_USE_SECONDARY_KEYRING for both the primary and secondary keyring
1327 * (where keys can be added only if they are vouched for by existing keys
1328 * in those keyrings); VERIFY_USE_PLATFORM_KEYRING for the platform
1329 * keyring (primarily used by the integrity subsystem to verify a kexec'ed
1330 * kerned image and, possibly, the initramfs signature).
1331 *
1332 * Return: a bpf_key pointer with an invalid key pointer set from the
1333 * pre-determined ID on success, a NULL pointer otherwise
1334 */
David Vernet400031e2023-02-01 11:30:15 -06001335__bpf_kfunc struct bpf_key *bpf_lookup_system_key(u64 id)
Roberto Sassuf3cf4132022-09-20 09:59:45 +02001336{
1337 struct bpf_key *bkey;
1338
1339 if (system_keyring_id_check(id) < 0)
1340 return NULL;
1341
1342 bkey = kmalloc(sizeof(*bkey), GFP_ATOMIC);
1343 if (!bkey)
1344 return NULL;
1345
1346 bkey->key = (struct key *)(unsigned long)id;
1347 bkey->has_ref = false;
1348
1349 return bkey;
1350}
1351
1352/**
1353 * bpf_key_put - decrement key reference count if key is valid and free bpf_key
1354 * @bkey: bpf_key structure
1355 *
1356 * Decrement the reference count of the key inside *bkey*, if the pointer
1357 * is valid, and free *bkey*.
1358 */
David Vernet400031e2023-02-01 11:30:15 -06001359__bpf_kfunc void bpf_key_put(struct bpf_key *bkey)
Roberto Sassuf3cf4132022-09-20 09:59:45 +02001360{
1361 if (bkey->has_ref)
1362 key_put(bkey->key);
1363
1364 kfree(bkey);
1365}
1366
Roberto Sassu865b0562022-09-20 09:59:46 +02001367#ifdef CONFIG_SYSTEM_DATA_VERIFICATION
1368/**
1369 * bpf_verify_pkcs7_signature - verify a PKCS#7 signature
1370 * @data_ptr: data to verify
1371 * @sig_ptr: signature of the data
1372 * @trusted_keyring: keyring with keys trusted for signature verification
1373 *
1374 * Verify the PKCS#7 signature *sig_ptr* against the supplied *data_ptr*
1375 * with keys in a keyring referenced by *trusted_keyring*.
1376 *
1377 * Return: 0 on success, a negative value on error.
1378 */
David Vernet400031e2023-02-01 11:30:15 -06001379__bpf_kfunc int bpf_verify_pkcs7_signature(struct bpf_dynptr_kern *data_ptr,
Roberto Sassu865b0562022-09-20 09:59:46 +02001380 struct bpf_dynptr_kern *sig_ptr,
1381 struct bpf_key *trusted_keyring)
1382{
Song Liu74523c02023-11-06 20:57:23 -08001383 const void *data, *sig;
1384 u32 data_len, sig_len;
Roberto Sassu865b0562022-09-20 09:59:46 +02001385 int ret;
1386
1387 if (trusted_keyring->has_ref) {
1388 /*
1389 * Do the permission check deferred in bpf_lookup_user_key().
1390 * See bpf_lookup_user_key() for more details.
1391 *
1392 * A call to key_task_permission() here would be redundant, as
1393 * it is already done by keyring_search() called by
1394 * find_asymmetric_key().
1395 */
1396 ret = key_validate(trusted_keyring->key);
1397 if (ret < 0)
1398 return ret;
1399 }
1400
Song Liu74523c02023-11-06 20:57:23 -08001401 data_len = __bpf_dynptr_size(data_ptr);
1402 data = __bpf_dynptr_data(data_ptr, data_len);
1403 sig_len = __bpf_dynptr_size(sig_ptr);
1404 sig = __bpf_dynptr_data(sig_ptr, sig_len);
1405
1406 return verify_pkcs7_signature(data, data_len, sig, sig_len,
Roberto Sassu865b0562022-09-20 09:59:46 +02001407 trusted_keyring->key,
1408 VERIFYING_UNSPECIFIED_SIGNATURE, NULL,
1409 NULL);
1410}
1411#endif /* CONFIG_SYSTEM_DATA_VERIFICATION */
1412
Dave Marchevsky391145b2023-10-31 14:56:24 -07001413__bpf_kfunc_end_defs();
Roberto Sassuf3cf4132022-09-20 09:59:45 +02001414
1415BTF_SET8_START(key_sig_kfunc_set)
1416BTF_ID_FLAGS(func, bpf_lookup_user_key, KF_ACQUIRE | KF_RET_NULL | KF_SLEEPABLE)
1417BTF_ID_FLAGS(func, bpf_lookup_system_key, KF_ACQUIRE | KF_RET_NULL)
1418BTF_ID_FLAGS(func, bpf_key_put, KF_RELEASE)
Roberto Sassu865b0562022-09-20 09:59:46 +02001419#ifdef CONFIG_SYSTEM_DATA_VERIFICATION
1420BTF_ID_FLAGS(func, bpf_verify_pkcs7_signature, KF_SLEEPABLE)
1421#endif
Roberto Sassuf3cf4132022-09-20 09:59:45 +02001422BTF_SET8_END(key_sig_kfunc_set)
1423
1424static const struct btf_kfunc_id_set bpf_key_sig_kfunc_set = {
1425 .owner = THIS_MODULE,
1426 .set = &key_sig_kfunc_set,
1427};
1428
1429static int __init bpf_key_sig_kfuncs_init(void)
1430{
1431 return register_btf_kfunc_id_set(BPF_PROG_TYPE_TRACING,
1432 &bpf_key_sig_kfunc_set);
1433}
1434
1435late_initcall(bpf_key_sig_kfuncs_init);
1436#endif /* CONFIG_KEYS */
1437
Song Liuac9c05e2023-11-29 15:44:12 -08001438/* filesystem kfuncs */
1439__bpf_kfunc_start_defs();
1440
1441/**
1442 * bpf_get_file_xattr - get xattr of a file
1443 * @file: file to get xattr from
1444 * @name__str: name of the xattr
1445 * @value_ptr: output buffer of the xattr value
1446 *
1447 * Get xattr *name__str* of *file* and store the output in *value_ptr*.
1448 *
1449 * For security reasons, only *name__str* with prefix "user." is allowed.
1450 *
1451 * Return: 0 on success, a negative value on error.
1452 */
1453__bpf_kfunc int bpf_get_file_xattr(struct file *file, const char *name__str,
1454 struct bpf_dynptr_kern *value_ptr)
1455{
1456 struct dentry *dentry;
1457 u32 value_len;
1458 void *value;
1459 int ret;
1460
1461 if (strncmp(name__str, XATTR_USER_PREFIX, XATTR_USER_PREFIX_LEN))
1462 return -EPERM;
1463
1464 value_len = __bpf_dynptr_size(value_ptr);
1465 value = __bpf_dynptr_data_rw(value_ptr, value_len);
1466 if (!value)
1467 return -EINVAL;
1468
1469 dentry = file_dentry(file);
1470 ret = inode_permission(&nop_mnt_idmap, dentry->d_inode, MAY_READ);
1471 if (ret)
1472 return ret;
1473 return __vfs_getxattr(dentry, dentry->d_inode, name__str, value, value_len);
1474}
1475
1476__bpf_kfunc_end_defs();
1477
1478BTF_SET8_START(fs_kfunc_set_ids)
1479BTF_ID_FLAGS(func, bpf_get_file_xattr, KF_SLEEPABLE | KF_TRUSTED_ARGS)
1480BTF_SET8_END(fs_kfunc_set_ids)
1481
1482static int bpf_get_file_xattr_filter(const struct bpf_prog *prog, u32 kfunc_id)
1483{
1484 if (!btf_id_set8_contains(&fs_kfunc_set_ids, kfunc_id))
1485 return 0;
1486
1487 /* Only allow to attach from LSM hooks, to avoid recursion */
1488 return prog->type != BPF_PROG_TYPE_LSM ? -EACCES : 0;
1489}
1490
1491static const struct btf_kfunc_id_set bpf_fs_kfunc_set = {
1492 .owner = THIS_MODULE,
1493 .set = &fs_kfunc_set_ids,
1494 .filter = bpf_get_file_xattr_filter,
1495};
1496
1497static int __init bpf_fs_kfuncs_init(void)
1498{
1499 return register_btf_kfunc_id_set(BPF_PROG_TYPE_LSM, &bpf_fs_kfunc_set);
1500}
1501
1502late_initcall(bpf_fs_kfuncs_init);
1503
Andrii Nakryiko7adfc6c2021-08-15 00:05:59 -07001504static const struct bpf_func_proto *
KP Singhfc611f42020-03-29 01:43:49 +01001505bpf_tracing_func_proto(enum bpf_func_id func_id, const struct bpf_prog *prog)
Alexei Starovoitov25415172015-03-25 12:49:20 -07001506{
1507 switch (func_id) {
1508 case BPF_FUNC_map_lookup_elem:
1509 return &bpf_map_lookup_elem_proto;
1510 case BPF_FUNC_map_update_elem:
1511 return &bpf_map_update_elem_proto;
1512 case BPF_FUNC_map_delete_elem:
1513 return &bpf_map_delete_elem_proto;
Alban Crequy02a8c812019-04-14 18:58:46 +02001514 case BPF_FUNC_map_push_elem:
1515 return &bpf_map_push_elem_proto;
1516 case BPF_FUNC_map_pop_elem:
1517 return &bpf_map_pop_elem_proto;
1518 case BPF_FUNC_map_peek_elem:
1519 return &bpf_map_peek_elem_proto;
Feng Zhou07343112022-05-11 17:38:53 +08001520 case BPF_FUNC_map_lookup_percpu_elem:
1521 return &bpf_map_lookup_percpu_elem_proto;
Alexei Starovoitovd9847d32015-03-25 12:49:21 -07001522 case BPF_FUNC_ktime_get_ns:
1523 return &bpf_ktime_get_ns_proto;
Maciej Żenczykowski71d19212020-04-26 09:15:25 -07001524 case BPF_FUNC_ktime_get_boot_ns:
1525 return &bpf_ktime_get_boot_ns_proto;
Alexei Starovoitov04fd61ab2015-05-19 16:59:03 -07001526 case BPF_FUNC_tail_call:
1527 return &bpf_tail_call_proto;
Alexei Starovoitovffeedaf2015-06-12 19:39:12 -07001528 case BPF_FUNC_get_current_pid_tgid:
1529 return &bpf_get_current_pid_tgid_proto;
Alexei Starovoitov606274c2016-07-06 22:38:36 -07001530 case BPF_FUNC_get_current_task:
1531 return &bpf_get_current_task_proto;
KP Singh3ca10322020-11-06 10:37:43 +00001532 case BPF_FUNC_get_current_task_btf:
1533 return &bpf_get_current_task_btf_proto;
Daniel Xudd6e10f2021-08-23 19:43:49 -07001534 case BPF_FUNC_task_pt_regs:
1535 return &bpf_task_pt_regs_proto;
Alexei Starovoitovffeedaf2015-06-12 19:39:12 -07001536 case BPF_FUNC_get_current_uid_gid:
1537 return &bpf_get_current_uid_gid_proto;
1538 case BPF_FUNC_get_current_comm:
1539 return &bpf_get_current_comm_proto;
Alexei Starovoitov9c959c82015-03-25 12:49:22 -07001540 case BPF_FUNC_trace_printk:
Alexei Starovoitov0756ea32015-06-12 19:39:13 -07001541 return bpf_get_trace_printk_proto();
Alexei Starovoitovab1973d2015-06-12 19:39:14 -07001542 case BPF_FUNC_get_smp_processor_id:
1543 return &bpf_get_smp_processor_id_proto;
Daniel Borkmann2d0e30c2016-10-21 12:46:33 +02001544 case BPF_FUNC_get_numa_node_id:
1545 return &bpf_get_numa_node_id_proto;
Kaixu Xia35578d72015-08-06 07:02:35 +00001546 case BPF_FUNC_perf_event_read:
1547 return &bpf_perf_event_read_proto;
Sargun Dhillon60d20f92016-08-12 08:56:52 -07001548 case BPF_FUNC_current_task_under_cgroup:
1549 return &bpf_current_task_under_cgroup_proto;
Alexei Starovoitov8937bd82016-08-11 18:17:18 -07001550 case BPF_FUNC_get_prandom_u32:
1551 return &bpf_get_prandom_u32_proto;
Daniel Borkmann51e1bb92021-08-09 12:43:17 +02001552 case BPF_FUNC_probe_write_user:
1553 return security_locked_down(LOCKDOWN_BPF_WRITE_USER) < 0 ?
1554 NULL : bpf_get_probe_write_proto();
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +01001555 case BPF_FUNC_probe_read_user:
1556 return &bpf_probe_read_user_proto;
1557 case BPF_FUNC_probe_read_kernel:
Daniel Borkmann71330842021-08-09 21:45:32 +02001558 return security_locked_down(LOCKDOWN_BPF_READ_KERNEL) < 0 ?
Daniel Borkmannff40e512021-05-28 09:16:31 +00001559 NULL : &bpf_probe_read_kernel_proto;
Daniel Borkmann6ae08ae2019-11-02 00:17:59 +01001560 case BPF_FUNC_probe_read_user_str:
1561 return &bpf_probe_read_user_str_proto;
1562 case BPF_FUNC_probe_read_kernel_str:
Daniel Borkmann71330842021-08-09 21:45:32 +02001563 return security_locked_down(LOCKDOWN_BPF_READ_KERNEL) < 0 ?
Daniel Borkmannff40e512021-05-28 09:16:31 +00001564 NULL : &bpf_probe_read_kernel_str_proto;
Daniel Borkmann0ebeea82020-05-15 12:11:16 +02001565#ifdef CONFIG_ARCH_HAS_NON_OVERLAPPING_ADDRESS_SPACE
1566 case BPF_FUNC_probe_read:
Daniel Borkmann71330842021-08-09 21:45:32 +02001567 return security_locked_down(LOCKDOWN_BPF_READ_KERNEL) < 0 ?
Daniel Borkmannff40e512021-05-28 09:16:31 +00001568 NULL : &bpf_probe_read_compat_proto;
Gianluca Borelloa5e8c072017-01-18 17:55:49 +00001569 case BPF_FUNC_probe_read_str:
Daniel Borkmann71330842021-08-09 21:45:32 +02001570 return security_locked_down(LOCKDOWN_BPF_READ_KERNEL) < 0 ?
Daniel Borkmannff40e512021-05-28 09:16:31 +00001571 NULL : &bpf_probe_read_compat_str_proto;
Daniel Borkmann0ebeea82020-05-15 12:11:16 +02001572#endif
Yonghong Song34ea38c2018-06-04 08:53:41 -07001573#ifdef CONFIG_CGROUPS
Yonghong Songc4bcfb32022-10-25 21:28:50 -07001574 case BPF_FUNC_cgrp_storage_get:
1575 return &bpf_cgrp_storage_get_proto;
1576 case BPF_FUNC_cgrp_storage_delete:
1577 return &bpf_cgrp_storage_delete_proto;
Yonghong Song34ea38c2018-06-04 08:53:41 -07001578#endif
Yonghong Song8b401f92019-05-23 14:47:45 -07001579 case BPF_FUNC_send_signal:
1580 return &bpf_send_signal_proto;
Yonghong Song84829412020-01-14 19:50:02 -08001581 case BPF_FUNC_send_signal_thread:
1582 return &bpf_send_signal_thread_proto;
Song Liub80b0332020-02-14 15:41:46 -08001583 case BPF_FUNC_perf_event_read_value:
1584 return &bpf_perf_event_read_value_proto;
Carlos Neirab4490c52020-03-04 17:41:56 -03001585 case BPF_FUNC_get_ns_current_pid_tgid:
1586 return &bpf_get_ns_current_pid_tgid_proto;
Andrii Nakryiko457f44362020-05-29 00:54:20 -07001587 case BPF_FUNC_ringbuf_output:
1588 return &bpf_ringbuf_output_proto;
1589 case BPF_FUNC_ringbuf_reserve:
1590 return &bpf_ringbuf_reserve_proto;
1591 case BPF_FUNC_ringbuf_submit:
1592 return &bpf_ringbuf_submit_proto;
1593 case BPF_FUNC_ringbuf_discard:
1594 return &bpf_ringbuf_discard_proto;
1595 case BPF_FUNC_ringbuf_query:
1596 return &bpf_ringbuf_query_proto;
Yonghong Song72e2b2b2020-06-23 16:08:08 -07001597 case BPF_FUNC_jiffies64:
1598 return &bpf_jiffies64_proto;
Song Liufa28dcb2020-06-29 23:28:44 -07001599 case BPF_FUNC_get_task_stack:
1600 return &bpf_get_task_stack_proto;
Alexei Starovoitov07be4c42020-08-27 15:01:12 -07001601 case BPF_FUNC_copy_from_user:
Yonghong Song01685c52022-11-23 21:32:11 -08001602 return &bpf_copy_from_user_proto;
Kenny Yu376040e2022-01-24 10:54:01 -08001603 case BPF_FUNC_copy_from_user_task:
Yonghong Song01685c52022-11-23 21:32:11 -08001604 return &bpf_copy_from_user_task_proto;
Alan Maguirec4d0bfb2020-09-28 12:31:05 +01001605 case BPF_FUNC_snprintf_btf:
1606 return &bpf_snprintf_btf_proto;
Andrii Nakryikob7906b72020-12-11 22:36:25 +01001607 case BPF_FUNC_per_cpu_ptr:
Hao Luoeaa6bcb2020-09-29 16:50:47 -07001608 return &bpf_per_cpu_ptr_proto;
Andrii Nakryikob7906b72020-12-11 22:36:25 +01001609 case BPF_FUNC_this_cpu_ptr:
Hao Luo63d9b802020-09-29 16:50:48 -07001610 return &bpf_this_cpu_ptr_proto;
Song Liua10787e2021-02-25 15:43:14 -08001611 case BPF_FUNC_task_storage_get:
Martin KaFai Lau4279adb2022-10-25 11:45:20 -07001612 if (bpf_prog_check_recur(prog))
1613 return &bpf_task_storage_get_recur_proto;
Song Liua10787e2021-02-25 15:43:14 -08001614 return &bpf_task_storage_get_proto;
1615 case BPF_FUNC_task_storage_delete:
Martin KaFai Lau8a7dac372022-10-25 11:45:22 -07001616 if (bpf_prog_check_recur(prog))
1617 return &bpf_task_storage_delete_recur_proto;
Song Liua10787e2021-02-25 15:43:14 -08001618 return &bpf_task_storage_delete_proto;
Yonghong Song69c087b2021-02-26 12:49:25 -08001619 case BPF_FUNC_for_each_map_elem:
1620 return &bpf_for_each_map_elem_proto;
Florent Revest7b155232021-04-19 17:52:40 +02001621 case BPF_FUNC_snprintf:
1622 return &bpf_snprintf_proto;
Jiri Olsa9b99edc2021-07-14 11:43:55 +02001623 case BPF_FUNC_get_func_ip:
1624 return &bpf_get_func_ip_proto_tracing;
Song Liu856c02d2021-09-10 11:33:51 -07001625 case BPF_FUNC_get_branch_snapshot:
1626 return &bpf_get_branch_snapshot_proto;
Song Liu7c7e3d32021-11-05 16:23:29 -07001627 case BPF_FUNC_find_vma:
1628 return &bpf_find_vma_proto;
Dave Marchevsky10aceb62021-09-17 11:29:05 -07001629 case BPF_FUNC_trace_vprintk:
1630 return bpf_get_trace_vprintk_proto();
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -07001631 default:
Andrii Nakryikod17aff82023-12-19 07:37:35 -08001632 return bpf_base_func_proto(func_id);
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -07001633 }
1634}
1635
Andrey Ignatov5e43f892018-03-30 15:08:00 -07001636static const struct bpf_func_proto *
1637kprobe_prog_func_proto(enum bpf_func_id func_id, const struct bpf_prog *prog)
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -07001638{
1639 switch (func_id) {
Alexei Starovoitova43eec32015-10-20 20:02:34 -07001640 case BPF_FUNC_perf_event_output:
1641 return &bpf_perf_event_output_proto;
Alexei Starovoitovd5a3b1f2016-02-17 19:58:58 -08001642 case BPF_FUNC_get_stackid:
1643 return &bpf_get_stackid_proto;
Yonghong Songc195651e2018-04-28 22:28:08 -07001644 case BPF_FUNC_get_stack:
1645 return &bpf_get_stack_proto;
Josef Bacik9802d862017-12-11 11:36:48 -05001646#ifdef CONFIG_BPF_KPROBE_OVERRIDE
1647 case BPF_FUNC_override_return:
1648 return &bpf_override_return_proto;
1649#endif
Jiri Olsa9ffd9f32021-07-14 11:43:56 +02001650 case BPF_FUNC_get_func_ip:
Jiri Olsa686328d2023-08-09 10:34:18 +02001651 if (prog->expected_attach_type == BPF_TRACE_KPROBE_MULTI)
1652 return &bpf_get_func_ip_proto_kprobe_multi;
1653 if (prog->expected_attach_type == BPF_TRACE_UPROBE_MULTI)
1654 return &bpf_get_func_ip_proto_uprobe_multi;
1655 return &bpf_get_func_ip_proto_kprobe;
Andrii Nakryiko7adfc6c2021-08-15 00:05:59 -07001656 case BPF_FUNC_get_attach_cookie:
Jiri Olsa0b779b62023-08-09 10:34:16 +02001657 if (prog->expected_attach_type == BPF_TRACE_KPROBE_MULTI)
1658 return &bpf_get_attach_cookie_proto_kmulti;
1659 if (prog->expected_attach_type == BPF_TRACE_UPROBE_MULTI)
1660 return &bpf_get_attach_cookie_proto_umulti;
1661 return &bpf_get_attach_cookie_proto_trace;
Alexei Starovoitov25415172015-03-25 12:49:20 -07001662 default:
KP Singhfc611f42020-03-29 01:43:49 +01001663 return bpf_tracing_func_proto(func_id, prog);
Alexei Starovoitov25415172015-03-25 12:49:20 -07001664 }
1665}
1666
1667/* bpf+kprobe programs can access fields of 'struct pt_regs' */
Alexei Starovoitov19de99f2016-06-15 18:25:38 -07001668static bool kprobe_prog_is_valid_access(int off, int size, enum bpf_access_type type,
Andrey Ignatov5e43f892018-03-30 15:08:00 -07001669 const struct bpf_prog *prog,
Yonghong Song23994632017-06-22 15:07:39 -07001670 struct bpf_insn_access_aux *info)
Alexei Starovoitov25415172015-03-25 12:49:20 -07001671{
Alexei Starovoitov25415172015-03-25 12:49:20 -07001672 if (off < 0 || off >= sizeof(struct pt_regs))
1673 return false;
Alexei Starovoitov25415172015-03-25 12:49:20 -07001674 if (type != BPF_READ)
1675 return false;
Alexei Starovoitov25415172015-03-25 12:49:20 -07001676 if (off % size != 0)
1677 return false;
Daniel Borkmann2d071c62017-01-15 01:34:25 +01001678 /*
1679 * Assertion for 32 bit to make sure last 8 byte access
1680 * (BPF_DW) to the last 4 byte member is disallowed.
1681 */
1682 if (off + size > sizeof(struct pt_regs))
1683 return false;
1684
Alexei Starovoitov25415172015-03-25 12:49:20 -07001685 return true;
1686}
1687
Jakub Kicinski7de16e32017-10-16 16:40:53 -07001688const struct bpf_verifier_ops kprobe_verifier_ops = {
Alexei Starovoitov25415172015-03-25 12:49:20 -07001689 .get_func_proto = kprobe_prog_func_proto,
1690 .is_valid_access = kprobe_prog_is_valid_access,
1691};
1692
Jakub Kicinski7de16e32017-10-16 16:40:53 -07001693const struct bpf_prog_ops kprobe_prog_ops = {
1694};
1695
Daniel Borkmannf3694e02016-09-09 02:45:31 +02001696BPF_CALL_5(bpf_perf_event_output_tp, void *, tp_buff, struct bpf_map *, map,
1697 u64, flags, void *, data, u64, size)
Alexei Starovoitov9940d672016-04-06 18:43:27 -07001698{
Daniel Borkmannf3694e02016-09-09 02:45:31 +02001699 struct pt_regs *regs = *(struct pt_regs **)tp_buff;
1700
Alexei Starovoitov9940d672016-04-06 18:43:27 -07001701 /*
1702 * r1 points to perf tracepoint buffer where first 8 bytes are hidden
1703 * from bpf program and contain a pointer to 'struct pt_regs'. Fetch it
Daniel Borkmannf3694e02016-09-09 02:45:31 +02001704 * from there and call the same bpf_perf_event_output() helper inline.
Alexei Starovoitov9940d672016-04-06 18:43:27 -07001705 */
Daniel Borkmannf3694e02016-09-09 02:45:31 +02001706 return ____bpf_perf_event_output(regs, map, flags, data, size);
Alexei Starovoitov9940d672016-04-06 18:43:27 -07001707}
1708
1709static const struct bpf_func_proto bpf_perf_event_output_proto_tp = {
1710 .func = bpf_perf_event_output_tp,
1711 .gpl_only = true,
1712 .ret_type = RET_INTEGER,
1713 .arg1_type = ARG_PTR_TO_CTX,
1714 .arg2_type = ARG_CONST_MAP_PTR,
1715 .arg3_type = ARG_ANYTHING,
Hao Luo216e3cd2021-12-16 16:31:51 -08001716 .arg4_type = ARG_PTR_TO_MEM | MEM_RDONLY,
Gianluca Borelloa60dd352017-11-22 18:32:56 +00001717 .arg5_type = ARG_CONST_SIZE_OR_ZERO,
Alexei Starovoitov9940d672016-04-06 18:43:27 -07001718};
1719
Daniel Borkmannf3694e02016-09-09 02:45:31 +02001720BPF_CALL_3(bpf_get_stackid_tp, void *, tp_buff, struct bpf_map *, map,
1721 u64, flags)
Alexei Starovoitov9940d672016-04-06 18:43:27 -07001722{
Daniel Borkmannf3694e02016-09-09 02:45:31 +02001723 struct pt_regs *regs = *(struct pt_regs **)tp_buff;
Alexei Starovoitov9940d672016-04-06 18:43:27 -07001724
Daniel Borkmannf3694e02016-09-09 02:45:31 +02001725 /*
1726 * Same comment as in bpf_perf_event_output_tp(), only that this time
1727 * the other helper's function body cannot be inlined due to being
1728 * external, thus we need to call raw helper function.
1729 */
1730 return bpf_get_stackid((unsigned long) regs, (unsigned long) map,
1731 flags, 0, 0);
Alexei Starovoitov9940d672016-04-06 18:43:27 -07001732}
1733
1734static const struct bpf_func_proto bpf_get_stackid_proto_tp = {
1735 .func = bpf_get_stackid_tp,
1736 .gpl_only = true,
1737 .ret_type = RET_INTEGER,
1738 .arg1_type = ARG_PTR_TO_CTX,
1739 .arg2_type = ARG_CONST_MAP_PTR,
1740 .arg3_type = ARG_ANYTHING,
1741};
1742
Yonghong Songc195651e2018-04-28 22:28:08 -07001743BPF_CALL_4(bpf_get_stack_tp, void *, tp_buff, void *, buf, u32, size,
1744 u64, flags)
1745{
1746 struct pt_regs *regs = *(struct pt_regs **)tp_buff;
1747
1748 return bpf_get_stack((unsigned long) regs, (unsigned long) buf,
1749 (unsigned long) size, flags, 0);
1750}
1751
1752static const struct bpf_func_proto bpf_get_stack_proto_tp = {
1753 .func = bpf_get_stack_tp,
1754 .gpl_only = true,
1755 .ret_type = RET_INTEGER,
1756 .arg1_type = ARG_PTR_TO_CTX,
1757 .arg2_type = ARG_PTR_TO_UNINIT_MEM,
1758 .arg3_type = ARG_CONST_SIZE_OR_ZERO,
1759 .arg4_type = ARG_ANYTHING,
1760};
1761
Andrey Ignatov5e43f892018-03-30 15:08:00 -07001762static const struct bpf_func_proto *
1763tp_prog_func_proto(enum bpf_func_id func_id, const struct bpf_prog *prog)
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -07001764{
1765 switch (func_id) {
1766 case BPF_FUNC_perf_event_output:
Alexei Starovoitov9940d672016-04-06 18:43:27 -07001767 return &bpf_perf_event_output_proto_tp;
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -07001768 case BPF_FUNC_get_stackid:
Alexei Starovoitov9940d672016-04-06 18:43:27 -07001769 return &bpf_get_stackid_proto_tp;
Yonghong Songc195651e2018-04-28 22:28:08 -07001770 case BPF_FUNC_get_stack:
1771 return &bpf_get_stack_proto_tp;
Andrii Nakryiko7adfc6c2021-08-15 00:05:59 -07001772 case BPF_FUNC_get_attach_cookie:
1773 return &bpf_get_attach_cookie_proto_trace;
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -07001774 default:
KP Singhfc611f42020-03-29 01:43:49 +01001775 return bpf_tracing_func_proto(func_id, prog);
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -07001776 }
1777}
1778
Alexei Starovoitov19de99f2016-06-15 18:25:38 -07001779static bool tp_prog_is_valid_access(int off, int size, enum bpf_access_type type,
Andrey Ignatov5e43f892018-03-30 15:08:00 -07001780 const struct bpf_prog *prog,
Yonghong Song23994632017-06-22 15:07:39 -07001781 struct bpf_insn_access_aux *info)
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -07001782{
1783 if (off < sizeof(void *) || off >= PERF_MAX_TRACE_SIZE)
1784 return false;
1785 if (type != BPF_READ)
1786 return false;
1787 if (off % size != 0)
1788 return false;
Daniel Borkmann2d071c62017-01-15 01:34:25 +01001789
1790 BUILD_BUG_ON(PERF_MAX_TRACE_SIZE % sizeof(__u64));
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -07001791 return true;
1792}
1793
Jakub Kicinski7de16e32017-10-16 16:40:53 -07001794const struct bpf_verifier_ops tracepoint_verifier_ops = {
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -07001795 .get_func_proto = tp_prog_func_proto,
1796 .is_valid_access = tp_prog_is_valid_access,
1797};
1798
Jakub Kicinski7de16e32017-10-16 16:40:53 -07001799const struct bpf_prog_ops tracepoint_prog_ops = {
1800};
1801
Yonghong Songf005afe2018-03-20 11:19:17 -07001802BPF_CALL_3(bpf_perf_prog_read_value, struct bpf_perf_event_data_kern *, ctx,
1803 struct bpf_perf_event_value *, buf, u32, size)
1804{
1805 int err = -EINVAL;
1806
1807 if (unlikely(size != sizeof(struct bpf_perf_event_value)))
1808 goto clear;
1809 err = perf_event_read_local(ctx->event, &buf->counter, &buf->enabled,
1810 &buf->running);
1811 if (unlikely(err))
1812 goto clear;
1813 return 0;
1814clear:
1815 memset(buf, 0, size);
1816 return err;
1817}
1818
1819static const struct bpf_func_proto bpf_perf_prog_read_value_proto = {
1820 .func = bpf_perf_prog_read_value,
1821 .gpl_only = true,
1822 .ret_type = RET_INTEGER,
1823 .arg1_type = ARG_PTR_TO_CTX,
1824 .arg2_type = ARG_PTR_TO_UNINIT_MEM,
1825 .arg3_type = ARG_CONST_SIZE,
1826};
1827
Daniel Xufff7b642020-02-17 19:04:31 -08001828BPF_CALL_4(bpf_read_branch_records, struct bpf_perf_event_data_kern *, ctx,
1829 void *, buf, u32, size, u64, flags)
1830{
Daniel Xufff7b642020-02-17 19:04:31 -08001831 static const u32 br_entry_size = sizeof(struct perf_branch_entry);
1832 struct perf_branch_stack *br_stack = ctx->data->br_stack;
1833 u32 to_copy;
1834
1835 if (unlikely(flags & ~BPF_F_GET_BRANCH_RECORDS_SIZE))
1836 return -EINVAL;
1837
Jiri Olsacce6a2d2022-09-27 22:32:59 +02001838 if (unlikely(!(ctx->data->sample_flags & PERF_SAMPLE_BRANCH_STACK)))
1839 return -ENOENT;
1840
Daniel Xufff7b642020-02-17 19:04:31 -08001841 if (unlikely(!br_stack))
Kajol Jaindb52f572021-12-06 13:03:15 +05301842 return -ENOENT;
Daniel Xufff7b642020-02-17 19:04:31 -08001843
1844 if (flags & BPF_F_GET_BRANCH_RECORDS_SIZE)
1845 return br_stack->nr * br_entry_size;
1846
1847 if (!buf || (size % br_entry_size != 0))
1848 return -EINVAL;
1849
1850 to_copy = min_t(u32, br_stack->nr * br_entry_size, size);
1851 memcpy(buf, br_stack->entries, to_copy);
1852
1853 return to_copy;
Daniel Xufff7b642020-02-17 19:04:31 -08001854}
1855
1856static const struct bpf_func_proto bpf_read_branch_records_proto = {
1857 .func = bpf_read_branch_records,
1858 .gpl_only = true,
1859 .ret_type = RET_INTEGER,
1860 .arg1_type = ARG_PTR_TO_CTX,
1861 .arg2_type = ARG_PTR_TO_MEM_OR_NULL,
1862 .arg3_type = ARG_CONST_SIZE_OR_ZERO,
1863 .arg4_type = ARG_ANYTHING,
1864};
1865
Andrey Ignatov5e43f892018-03-30 15:08:00 -07001866static const struct bpf_func_proto *
1867pe_prog_func_proto(enum bpf_func_id func_id, const struct bpf_prog *prog)
Yonghong Songf005afe2018-03-20 11:19:17 -07001868{
1869 switch (func_id) {
1870 case BPF_FUNC_perf_event_output:
1871 return &bpf_perf_event_output_proto_tp;
1872 case BPF_FUNC_get_stackid:
Song Liu7b04d6d2020-07-23 11:06:44 -07001873 return &bpf_get_stackid_proto_pe;
Yonghong Songc195651e2018-04-28 22:28:08 -07001874 case BPF_FUNC_get_stack:
Song Liu7b04d6d2020-07-23 11:06:44 -07001875 return &bpf_get_stack_proto_pe;
Yonghong Songf005afe2018-03-20 11:19:17 -07001876 case BPF_FUNC_perf_prog_read_value:
1877 return &bpf_perf_prog_read_value_proto;
Daniel Xufff7b642020-02-17 19:04:31 -08001878 case BPF_FUNC_read_branch_records:
1879 return &bpf_read_branch_records_proto;
Andrii Nakryiko7adfc6c2021-08-15 00:05:59 -07001880 case BPF_FUNC_get_attach_cookie:
1881 return &bpf_get_attach_cookie_proto_pe;
Yonghong Songf005afe2018-03-20 11:19:17 -07001882 default:
KP Singhfc611f42020-03-29 01:43:49 +01001883 return bpf_tracing_func_proto(func_id, prog);
Yonghong Songf005afe2018-03-20 11:19:17 -07001884 }
1885}
1886
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07001887/*
1888 * bpf_raw_tp_regs are separate from bpf_pt_regs used from skb/xdp
1889 * to avoid potential recursive reuse issue when/if tracepoints are added
Matt Mullins9594dc32019-06-11 14:53:04 -07001890 * inside bpf_*_event_output, bpf_get_stackid and/or bpf_get_stack.
1891 *
1892 * Since raw tracepoints run despite bpf_prog_active, support concurrent usage
1893 * in normal, irq, and nmi context.
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07001894 */
Matt Mullins9594dc32019-06-11 14:53:04 -07001895struct bpf_raw_tp_regs {
1896 struct pt_regs regs[3];
1897};
1898static DEFINE_PER_CPU(struct bpf_raw_tp_regs, bpf_raw_tp_regs);
1899static DEFINE_PER_CPU(int, bpf_raw_tp_nest_level);
1900static struct pt_regs *get_bpf_raw_tp_regs(void)
1901{
1902 struct bpf_raw_tp_regs *tp_regs = this_cpu_ptr(&bpf_raw_tp_regs);
1903 int nest_level = this_cpu_inc_return(bpf_raw_tp_nest_level);
1904
1905 if (WARN_ON_ONCE(nest_level > ARRAY_SIZE(tp_regs->regs))) {
1906 this_cpu_dec(bpf_raw_tp_nest_level);
1907 return ERR_PTR(-EBUSY);
1908 }
1909
1910 return &tp_regs->regs[nest_level - 1];
1911}
1912
1913static void put_bpf_raw_tp_regs(void)
1914{
1915 this_cpu_dec(bpf_raw_tp_nest_level);
1916}
1917
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07001918BPF_CALL_5(bpf_perf_event_output_raw_tp, struct bpf_raw_tracepoint_args *, args,
1919 struct bpf_map *, map, u64, flags, void *, data, u64, size)
1920{
Matt Mullins9594dc32019-06-11 14:53:04 -07001921 struct pt_regs *regs = get_bpf_raw_tp_regs();
1922 int ret;
1923
1924 if (IS_ERR(regs))
1925 return PTR_ERR(regs);
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07001926
1927 perf_fetch_caller_regs(regs);
Matt Mullins9594dc32019-06-11 14:53:04 -07001928 ret = ____bpf_perf_event_output(regs, map, flags, data, size);
1929
1930 put_bpf_raw_tp_regs();
1931 return ret;
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07001932}
1933
1934static const struct bpf_func_proto bpf_perf_event_output_proto_raw_tp = {
1935 .func = bpf_perf_event_output_raw_tp,
1936 .gpl_only = true,
1937 .ret_type = RET_INTEGER,
1938 .arg1_type = ARG_PTR_TO_CTX,
1939 .arg2_type = ARG_CONST_MAP_PTR,
1940 .arg3_type = ARG_ANYTHING,
Hao Luo216e3cd2021-12-16 16:31:51 -08001941 .arg4_type = ARG_PTR_TO_MEM | MEM_RDONLY,
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07001942 .arg5_type = ARG_CONST_SIZE_OR_ZERO,
1943};
1944
Alexei Starovoitova7658e12019-10-15 20:25:04 -07001945extern const struct bpf_func_proto bpf_skb_output_proto;
Eelco Chaudrond831ee82020-03-06 08:59:23 +00001946extern const struct bpf_func_proto bpf_xdp_output_proto;
Eelco Chaudrond9917302022-01-21 11:09:56 +01001947extern const struct bpf_func_proto bpf_xdp_get_buff_len_trace_proto;
Alexei Starovoitova7658e12019-10-15 20:25:04 -07001948
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07001949BPF_CALL_3(bpf_get_stackid_raw_tp, struct bpf_raw_tracepoint_args *, args,
1950 struct bpf_map *, map, u64, flags)
1951{
Matt Mullins9594dc32019-06-11 14:53:04 -07001952 struct pt_regs *regs = get_bpf_raw_tp_regs();
1953 int ret;
1954
1955 if (IS_ERR(regs))
1956 return PTR_ERR(regs);
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07001957
1958 perf_fetch_caller_regs(regs);
1959 /* similar to bpf_perf_event_output_tp, but pt_regs fetched differently */
Matt Mullins9594dc32019-06-11 14:53:04 -07001960 ret = bpf_get_stackid((unsigned long) regs, (unsigned long) map,
1961 flags, 0, 0);
1962 put_bpf_raw_tp_regs();
1963 return ret;
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07001964}
1965
1966static const struct bpf_func_proto bpf_get_stackid_proto_raw_tp = {
1967 .func = bpf_get_stackid_raw_tp,
1968 .gpl_only = true,
1969 .ret_type = RET_INTEGER,
1970 .arg1_type = ARG_PTR_TO_CTX,
1971 .arg2_type = ARG_CONST_MAP_PTR,
1972 .arg3_type = ARG_ANYTHING,
1973};
1974
Yonghong Songc195651e2018-04-28 22:28:08 -07001975BPF_CALL_4(bpf_get_stack_raw_tp, struct bpf_raw_tracepoint_args *, args,
1976 void *, buf, u32, size, u64, flags)
1977{
Matt Mullins9594dc32019-06-11 14:53:04 -07001978 struct pt_regs *regs = get_bpf_raw_tp_regs();
1979 int ret;
1980
1981 if (IS_ERR(regs))
1982 return PTR_ERR(regs);
Yonghong Songc195651e2018-04-28 22:28:08 -07001983
1984 perf_fetch_caller_regs(regs);
Matt Mullins9594dc32019-06-11 14:53:04 -07001985 ret = bpf_get_stack((unsigned long) regs, (unsigned long) buf,
1986 (unsigned long) size, flags, 0);
1987 put_bpf_raw_tp_regs();
1988 return ret;
Yonghong Songc195651e2018-04-28 22:28:08 -07001989}
1990
1991static const struct bpf_func_proto bpf_get_stack_proto_raw_tp = {
1992 .func = bpf_get_stack_raw_tp,
1993 .gpl_only = true,
1994 .ret_type = RET_INTEGER,
1995 .arg1_type = ARG_PTR_TO_CTX,
Hao Luo216e3cd2021-12-16 16:31:51 -08001996 .arg2_type = ARG_PTR_TO_MEM | MEM_RDONLY,
Yonghong Songc195651e2018-04-28 22:28:08 -07001997 .arg3_type = ARG_CONST_SIZE_OR_ZERO,
1998 .arg4_type = ARG_ANYTHING,
1999};
2000
Andrey Ignatov5e43f892018-03-30 15:08:00 -07002001static const struct bpf_func_proto *
2002raw_tp_prog_func_proto(enum bpf_func_id func_id, const struct bpf_prog *prog)
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002003{
2004 switch (func_id) {
2005 case BPF_FUNC_perf_event_output:
2006 return &bpf_perf_event_output_proto_raw_tp;
2007 case BPF_FUNC_get_stackid:
2008 return &bpf_get_stackid_proto_raw_tp;
Yonghong Songc195651e2018-04-28 22:28:08 -07002009 case BPF_FUNC_get_stack:
2010 return &bpf_get_stack_proto_raw_tp;
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002011 default:
KP Singhfc611f42020-03-29 01:43:49 +01002012 return bpf_tracing_func_proto(func_id, prog);
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002013 }
2014}
2015
Jiri Olsa958a3f22020-05-31 17:42:55 +02002016const struct bpf_func_proto *
Alexei Starovoitovf1b95092019-10-30 15:32:11 -07002017tracing_prog_func_proto(enum bpf_func_id func_id, const struct bpf_prog *prog)
2018{
Martin KaFai Lau3cee6fb2021-07-01 13:06:19 -07002019 const struct bpf_func_proto *fn;
2020
Alexei Starovoitovf1b95092019-10-30 15:32:11 -07002021 switch (func_id) {
2022#ifdef CONFIG_NET
2023 case BPF_FUNC_skb_output:
2024 return &bpf_skb_output_proto;
Eelco Chaudrond831ee82020-03-06 08:59:23 +00002025 case BPF_FUNC_xdp_output:
2026 return &bpf_xdp_output_proto;
Yonghong Songaf7ec132020-06-23 16:08:09 -07002027 case BPF_FUNC_skc_to_tcp6_sock:
2028 return &bpf_skc_to_tcp6_sock_proto;
Yonghong Song478cfbd2020-06-23 16:08:11 -07002029 case BPF_FUNC_skc_to_tcp_sock:
2030 return &bpf_skc_to_tcp_sock_proto;
2031 case BPF_FUNC_skc_to_tcp_timewait_sock:
2032 return &bpf_skc_to_tcp_timewait_sock_proto;
2033 case BPF_FUNC_skc_to_tcp_request_sock:
2034 return &bpf_skc_to_tcp_request_sock_proto;
Yonghong Song0d4fad3e52020-06-23 16:08:15 -07002035 case BPF_FUNC_skc_to_udp6_sock:
2036 return &bpf_skc_to_udp6_sock_proto;
Hengqi Chen9eeb3aa2021-10-21 21:47:51 +08002037 case BPF_FUNC_skc_to_unix_sock:
2038 return &bpf_skc_to_unix_sock_proto;
Geliang Tang3bc253c2022-05-19 16:30:10 -07002039 case BPF_FUNC_skc_to_mptcp_sock:
2040 return &bpf_skc_to_mptcp_sock_proto;
Martin KaFai Lau8e4597c2020-11-12 13:13:13 -08002041 case BPF_FUNC_sk_storage_get:
2042 return &bpf_sk_storage_get_tracing_proto;
2043 case BPF_FUNC_sk_storage_delete:
2044 return &bpf_sk_storage_delete_tracing_proto;
Florent Revestb60da492020-12-08 18:36:23 +01002045 case BPF_FUNC_sock_from_file:
2046 return &bpf_sock_from_file_proto;
Florent Revestc5dbb892021-02-10 12:14:03 +01002047 case BPF_FUNC_get_socket_cookie:
2048 return &bpf_get_socket_ptr_cookie_proto;
Eelco Chaudrond9917302022-01-21 11:09:56 +01002049 case BPF_FUNC_xdp_get_buff_len:
2050 return &bpf_xdp_get_buff_len_trace_proto;
Alexei Starovoitovf1b95092019-10-30 15:32:11 -07002051#endif
Yonghong Song492e6392020-05-09 10:59:14 -07002052 case BPF_FUNC_seq_printf:
2053 return prog->expected_attach_type == BPF_TRACE_ITER ?
2054 &bpf_seq_printf_proto :
2055 NULL;
2056 case BPF_FUNC_seq_write:
2057 return prog->expected_attach_type == BPF_TRACE_ITER ?
2058 &bpf_seq_write_proto :
2059 NULL;
Alan Maguireeb4113772020-09-28 12:31:09 +01002060 case BPF_FUNC_seq_printf_btf:
2061 return prog->expected_attach_type == BPF_TRACE_ITER ?
2062 &bpf_seq_printf_btf_proto :
2063 NULL;
Jiri Olsa6e22ab92020-08-25 21:21:20 +02002064 case BPF_FUNC_d_path:
2065 return &bpf_d_path_proto;
Jiri Olsaf92c1e12021-12-08 20:32:44 +01002066 case BPF_FUNC_get_func_arg:
2067 return bpf_prog_has_trampoline(prog) ? &bpf_get_func_arg_proto : NULL;
2068 case BPF_FUNC_get_func_ret:
2069 return bpf_prog_has_trampoline(prog) ? &bpf_get_func_ret_proto : NULL;
2070 case BPF_FUNC_get_func_arg_cnt:
2071 return bpf_prog_has_trampoline(prog) ? &bpf_get_func_arg_cnt_proto : NULL;
Kui-Feng Lee2fcc8242022-05-10 13:59:21 -07002072 case BPF_FUNC_get_attach_cookie:
2073 return bpf_prog_has_trampoline(prog) ? &bpf_get_attach_cookie_proto_tracing : NULL;
Alexei Starovoitovf1b95092019-10-30 15:32:11 -07002074 default:
Martin KaFai Lau3cee6fb2021-07-01 13:06:19 -07002075 fn = raw_tp_prog_func_proto(func_id, prog);
2076 if (!fn && prog->expected_attach_type == BPF_TRACE_ITER)
2077 fn = bpf_iter_get_func_proto(func_id, prog);
2078 return fn;
Alexei Starovoitovf1b95092019-10-30 15:32:11 -07002079 }
2080}
2081
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002082static bool raw_tp_prog_is_valid_access(int off, int size,
2083 enum bpf_access_type type,
Andrey Ignatov5e43f892018-03-30 15:08:00 -07002084 const struct bpf_prog *prog,
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002085 struct bpf_insn_access_aux *info)
2086{
Hou Tao35346ab2021-10-25 14:40:23 +08002087 return bpf_tracing_ctx_access(off, size, type);
Alexei Starovoitovf1b95092019-10-30 15:32:11 -07002088}
2089
2090static bool tracing_prog_is_valid_access(int off, int size,
2091 enum bpf_access_type type,
2092 const struct bpf_prog *prog,
2093 struct bpf_insn_access_aux *info)
2094{
Hou Tao35346ab2021-10-25 14:40:23 +08002095 return bpf_tracing_btf_ctx_access(off, size, type, prog, info);
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002096}
2097
KP Singh3e7c67d2020-03-05 23:01:27 +01002098int __weak bpf_prog_test_run_tracing(struct bpf_prog *prog,
2099 const union bpf_attr *kattr,
2100 union bpf_attr __user *uattr)
2101{
2102 return -ENOTSUPP;
2103}
2104
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002105const struct bpf_verifier_ops raw_tracepoint_verifier_ops = {
2106 .get_func_proto = raw_tp_prog_func_proto,
2107 .is_valid_access = raw_tp_prog_is_valid_access,
2108};
2109
2110const struct bpf_prog_ops raw_tracepoint_prog_ops = {
Yonghong Songebfb4d42020-10-06 23:29:33 -07002111#ifdef CONFIG_NET
Song Liu1b4d60e2020-09-25 13:54:29 -07002112 .test_run = bpf_prog_test_run_raw_tp,
Yonghong Songebfb4d42020-10-06 23:29:33 -07002113#endif
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002114};
2115
Alexei Starovoitovf1b95092019-10-30 15:32:11 -07002116const struct bpf_verifier_ops tracing_verifier_ops = {
2117 .get_func_proto = tracing_prog_func_proto,
2118 .is_valid_access = tracing_prog_is_valid_access,
2119};
2120
2121const struct bpf_prog_ops tracing_prog_ops = {
KP Singhda00d2f2020-03-04 20:18:52 +01002122 .test_run = bpf_prog_test_run_tracing,
Alexei Starovoitovf1b95092019-10-30 15:32:11 -07002123};
2124
Matt Mullins9df1c282019-04-26 11:49:47 -07002125static bool raw_tp_writable_prog_is_valid_access(int off, int size,
2126 enum bpf_access_type type,
2127 const struct bpf_prog *prog,
2128 struct bpf_insn_access_aux *info)
2129{
2130 if (off == 0) {
2131 if (size != sizeof(u64) || type != BPF_READ)
2132 return false;
2133 info->reg_type = PTR_TO_TP_BUFFER;
2134 }
2135 return raw_tp_prog_is_valid_access(off, size, type, prog, info);
2136}
2137
2138const struct bpf_verifier_ops raw_tracepoint_writable_verifier_ops = {
2139 .get_func_proto = raw_tp_prog_func_proto,
2140 .is_valid_access = raw_tp_writable_prog_is_valid_access,
2141};
2142
2143const struct bpf_prog_ops raw_tracepoint_writable_prog_ops = {
2144};
2145
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002146static bool pe_prog_is_valid_access(int off, int size, enum bpf_access_type type,
Andrey Ignatov5e43f892018-03-30 15:08:00 -07002147 const struct bpf_prog *prog,
Yonghong Song23994632017-06-22 15:07:39 -07002148 struct bpf_insn_access_aux *info)
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002149{
Teng Qin95da0cd2018-03-06 10:55:01 -08002150 const int size_u64 = sizeof(u64);
Yonghong Song31fd8582017-06-13 15:52:13 -07002151
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002152 if (off < 0 || off >= sizeof(struct bpf_perf_event_data))
2153 return false;
2154 if (type != BPF_READ)
2155 return false;
Daniel Borkmannbc231052018-06-02 23:06:39 +02002156 if (off % size != 0) {
2157 if (sizeof(unsigned long) != 4)
2158 return false;
2159 if (size != 8)
2160 return false;
2161 if (off % size != 4)
2162 return false;
2163 }
Yonghong Song31fd8582017-06-13 15:52:13 -07002164
Daniel Borkmannf96da092017-07-02 02:13:27 +02002165 switch (off) {
2166 case bpf_ctx_range(struct bpf_perf_event_data, sample_period):
Teng Qin95da0cd2018-03-06 10:55:01 -08002167 bpf_ctx_record_field_size(info, size_u64);
2168 if (!bpf_ctx_narrow_access_ok(off, size, size_u64))
2169 return false;
2170 break;
2171 case bpf_ctx_range(struct bpf_perf_event_data, addr):
2172 bpf_ctx_record_field_size(info, size_u64);
2173 if (!bpf_ctx_narrow_access_ok(off, size, size_u64))
Yonghong Song23994632017-06-22 15:07:39 -07002174 return false;
Daniel Borkmannf96da092017-07-02 02:13:27 +02002175 break;
2176 default:
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002177 if (size != sizeof(long))
2178 return false;
2179 }
Daniel Borkmannf96da092017-07-02 02:13:27 +02002180
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002181 return true;
2182}
2183
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +01002184static u32 pe_prog_convert_ctx_access(enum bpf_access_type type,
2185 const struct bpf_insn *si,
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002186 struct bpf_insn *insn_buf,
Daniel Borkmannf96da092017-07-02 02:13:27 +02002187 struct bpf_prog *prog, u32 *target_size)
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002188{
2189 struct bpf_insn *insn = insn_buf;
2190
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +01002191 switch (si->off) {
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002192 case offsetof(struct bpf_perf_event_data, sample_period):
Daniel Borkmannf035a512016-09-09 02:45:29 +02002193 *insn++ = BPF_LDX_MEM(BPF_FIELD_SIZEOF(struct bpf_perf_event_data_kern,
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +01002194 data), si->dst_reg, si->src_reg,
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002195 offsetof(struct bpf_perf_event_data_kern, data));
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +01002196 *insn++ = BPF_LDX_MEM(BPF_DW, si->dst_reg, si->dst_reg,
Daniel Borkmannf96da092017-07-02 02:13:27 +02002197 bpf_target_off(struct perf_sample_data, period, 8,
2198 target_size));
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002199 break;
Teng Qin95da0cd2018-03-06 10:55:01 -08002200 case offsetof(struct bpf_perf_event_data, addr):
2201 *insn++ = BPF_LDX_MEM(BPF_FIELD_SIZEOF(struct bpf_perf_event_data_kern,
2202 data), si->dst_reg, si->src_reg,
2203 offsetof(struct bpf_perf_event_data_kern, data));
2204 *insn++ = BPF_LDX_MEM(BPF_DW, si->dst_reg, si->dst_reg,
2205 bpf_target_off(struct perf_sample_data, addr, 8,
2206 target_size));
2207 break;
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002208 default:
Daniel Borkmannf035a512016-09-09 02:45:29 +02002209 *insn++ = BPF_LDX_MEM(BPF_FIELD_SIZEOF(struct bpf_perf_event_data_kern,
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +01002210 regs), si->dst_reg, si->src_reg,
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002211 offsetof(struct bpf_perf_event_data_kern, regs));
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +01002212 *insn++ = BPF_LDX_MEM(BPF_SIZEOF(long), si->dst_reg, si->dst_reg,
2213 si->off);
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002214 break;
2215 }
2216
2217 return insn - insn_buf;
2218}
2219
Jakub Kicinski7de16e32017-10-16 16:40:53 -07002220const struct bpf_verifier_ops perf_event_verifier_ops = {
Yonghong Songf005afe2018-03-20 11:19:17 -07002221 .get_func_proto = pe_prog_func_proto,
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002222 .is_valid_access = pe_prog_is_valid_access,
2223 .convert_ctx_access = pe_prog_convert_ctx_access,
2224};
Jakub Kicinski7de16e32017-10-16 16:40:53 -07002225
2226const struct bpf_prog_ops perf_event_prog_ops = {
2227};
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002228
2229static DEFINE_MUTEX(bpf_event_mutex);
2230
Yonghong Songc8c088b2017-11-30 13:47:54 -08002231#define BPF_TRACE_MAX_PROGS 64
2232
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002233int perf_event_attach_bpf_prog(struct perf_event *event,
Andrii Nakryiko82e6b1e2021-08-15 00:05:58 -07002234 struct bpf_prog *prog,
2235 u64 bpf_cookie)
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002236{
Stanislav Fomicheve672db02019-05-28 14:14:44 -07002237 struct bpf_prog_array *old_array;
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002238 struct bpf_prog_array *new_array;
2239 int ret = -EEXIST;
2240
Josef Bacik9802d862017-12-11 11:36:48 -05002241 /*
Masami Hiramatsub4da3342018-01-13 02:54:04 +09002242 * Kprobe override only works if they are on the function entry,
2243 * and only if they are on the opt-in list.
Josef Bacik9802d862017-12-11 11:36:48 -05002244 */
2245 if (prog->kprobe_override &&
Masami Hiramatsub4da3342018-01-13 02:54:04 +09002246 (!trace_kprobe_on_func_entry(event->tp_event) ||
Josef Bacik9802d862017-12-11 11:36:48 -05002247 !trace_kprobe_error_injectable(event->tp_event)))
2248 return -EINVAL;
2249
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002250 mutex_lock(&bpf_event_mutex);
2251
2252 if (event->prog)
Yonghong Song07c41a22017-10-30 13:50:22 -07002253 goto unlock;
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002254
Stanislav Fomicheve672db02019-05-28 14:14:44 -07002255 old_array = bpf_event_rcu_dereference(event->tp_event->prog_array);
Yonghong Songc8c088b2017-11-30 13:47:54 -08002256 if (old_array &&
2257 bpf_prog_array_length(old_array) >= BPF_TRACE_MAX_PROGS) {
2258 ret = -E2BIG;
2259 goto unlock;
2260 }
2261
Andrii Nakryiko82e6b1e2021-08-15 00:05:58 -07002262 ret = bpf_prog_array_copy(old_array, NULL, prog, bpf_cookie, &new_array);
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002263 if (ret < 0)
Yonghong Song07c41a22017-10-30 13:50:22 -07002264 goto unlock;
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002265
2266 /* set the new array to event->tp_event and set event->prog */
2267 event->prog = prog;
Andrii Nakryiko82e6b1e2021-08-15 00:05:58 -07002268 event->bpf_cookie = bpf_cookie;
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002269 rcu_assign_pointer(event->tp_event->prog_array, new_array);
Delyan Kratunov8c7dcb82022-06-14 23:10:46 +00002270 bpf_prog_array_free_sleepable(old_array);
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002271
Yonghong Song07c41a22017-10-30 13:50:22 -07002272unlock:
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002273 mutex_unlock(&bpf_event_mutex);
2274 return ret;
2275}
2276
2277void perf_event_detach_bpf_prog(struct perf_event *event)
2278{
Stanislav Fomicheve672db02019-05-28 14:14:44 -07002279 struct bpf_prog_array *old_array;
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002280 struct bpf_prog_array *new_array;
2281 int ret;
2282
2283 mutex_lock(&bpf_event_mutex);
2284
2285 if (!event->prog)
Yonghong Song07c41a22017-10-30 13:50:22 -07002286 goto unlock;
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002287
Stanislav Fomicheve672db02019-05-28 14:14:44 -07002288 old_array = bpf_event_rcu_dereference(event->tp_event->prog_array);
Andrii Nakryiko82e6b1e2021-08-15 00:05:58 -07002289 ret = bpf_prog_array_copy(old_array, event->prog, NULL, 0, &new_array);
Sean Young170a7e32018-05-27 12:24:08 +01002290 if (ret == -ENOENT)
2291 goto unlock;
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002292 if (ret < 0) {
2293 bpf_prog_array_delete_safe(old_array, event->prog);
2294 } else {
2295 rcu_assign_pointer(event->tp_event->prog_array, new_array);
Delyan Kratunov8c7dcb82022-06-14 23:10:46 +00002296 bpf_prog_array_free_sleepable(old_array);
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002297 }
2298
2299 bpf_prog_put(event->prog);
2300 event->prog = NULL;
2301
Yonghong Song07c41a22017-10-30 13:50:22 -07002302unlock:
Yonghong Songe87c6bc382017-10-23 23:53:08 -07002303 mutex_unlock(&bpf_event_mutex);
2304}
Yonghong Songf371b302017-12-11 11:39:02 -08002305
Yonghong Songf4e22982017-12-13 10:35:37 -08002306int perf_event_query_prog_array(struct perf_event *event, void __user *info)
Yonghong Songf371b302017-12-11 11:39:02 -08002307{
2308 struct perf_event_query_bpf __user *uquery = info;
2309 struct perf_event_query_bpf query = {};
Stanislav Fomicheve672db02019-05-28 14:14:44 -07002310 struct bpf_prog_array *progs;
Yonghong Song3a38bb92018-04-10 09:37:32 -07002311 u32 *ids, prog_cnt, ids_len;
Yonghong Songf371b302017-12-11 11:39:02 -08002312 int ret;
2313
Alexey Budankov031258d2020-04-02 11:48:54 +03002314 if (!perfmon_capable())
Yonghong Songf371b302017-12-11 11:39:02 -08002315 return -EPERM;
2316 if (event->attr.type != PERF_TYPE_TRACEPOINT)
2317 return -EINVAL;
2318 if (copy_from_user(&query, uquery, sizeof(query)))
2319 return -EFAULT;
Yonghong Song3a38bb92018-04-10 09:37:32 -07002320
2321 ids_len = query.ids_len;
2322 if (ids_len > BPF_TRACE_MAX_PROGS)
Daniel Borkmann9c481b92018-02-14 15:31:00 +01002323 return -E2BIG;
Yonghong Song3a38bb92018-04-10 09:37:32 -07002324 ids = kcalloc(ids_len, sizeof(u32), GFP_USER | __GFP_NOWARN);
2325 if (!ids)
2326 return -ENOMEM;
2327 /*
2328 * The above kcalloc returns ZERO_SIZE_PTR when ids_len = 0, which
2329 * is required when user only wants to check for uquery->prog_cnt.
2330 * There is no need to check for it since the case is handled
2331 * gracefully in bpf_prog_array_copy_info.
2332 */
Yonghong Songf371b302017-12-11 11:39:02 -08002333
2334 mutex_lock(&bpf_event_mutex);
Stanislav Fomicheve672db02019-05-28 14:14:44 -07002335 progs = bpf_event_rcu_dereference(event->tp_event->prog_array);
2336 ret = bpf_prog_array_copy_info(progs, ids, ids_len, &prog_cnt);
Yonghong Songf371b302017-12-11 11:39:02 -08002337 mutex_unlock(&bpf_event_mutex);
2338
Yonghong Song3a38bb92018-04-10 09:37:32 -07002339 if (copy_to_user(&uquery->prog_cnt, &prog_cnt, sizeof(prog_cnt)) ||
2340 copy_to_user(uquery->ids, ids, ids_len * sizeof(u32)))
2341 ret = -EFAULT;
2342
2343 kfree(ids);
Yonghong Songf371b302017-12-11 11:39:02 -08002344 return ret;
2345}
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002346
2347extern struct bpf_raw_event_map __start__bpf_raw_tp[];
2348extern struct bpf_raw_event_map __stop__bpf_raw_tp[];
2349
Matt Mullinsa38d1102018-12-12 16:42:37 -08002350struct bpf_raw_event_map *bpf_get_raw_tracepoint(const char *name)
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002351{
2352 struct bpf_raw_event_map *btp = __start__bpf_raw_tp;
2353
2354 for (; btp < __stop__bpf_raw_tp; btp++) {
2355 if (!strcmp(btp->tp->name, name))
2356 return btp;
2357 }
Matt Mullinsa38d1102018-12-12 16:42:37 -08002358
2359 return bpf_get_raw_tracepoint_module(name);
2360}
2361
2362void bpf_put_raw_tracepoint(struct bpf_raw_event_map *btp)
2363{
Andrii Nakryiko12cc1262020-12-03 12:46:21 -08002364 struct module *mod;
Matt Mullinsa38d1102018-12-12 16:42:37 -08002365
Andrii Nakryiko12cc1262020-12-03 12:46:21 -08002366 preempt_disable();
2367 mod = __module_address((unsigned long)btp);
2368 module_put(mod);
2369 preempt_enable();
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002370}
2371
2372static __always_inline
2373void __bpf_trace_run(struct bpf_prog *prog, u64 *args)
2374{
Thomas Gleixnerf03efe42020-02-24 15:01:35 +01002375 cant_sleep();
Jiri Olsa05b24ff2022-09-16 09:19:14 +02002376 if (unlikely(this_cpu_inc_return(*(prog->active)) != 1)) {
2377 bpf_prog_inc_misses_counter(prog);
2378 goto out;
2379 }
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002380 rcu_read_lock();
Andrii Nakryikofb7dd8b2021-08-15 00:05:54 -07002381 (void) bpf_prog_run(prog, args);
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002382 rcu_read_unlock();
Jiri Olsa05b24ff2022-09-16 09:19:14 +02002383out:
2384 this_cpu_dec(*(prog->active));
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002385}
2386
2387#define UNPACK(...) __VA_ARGS__
2388#define REPEAT_1(FN, DL, X, ...) FN(X)
2389#define REPEAT_2(FN, DL, X, ...) FN(X) UNPACK DL REPEAT_1(FN, DL, __VA_ARGS__)
2390#define REPEAT_3(FN, DL, X, ...) FN(X) UNPACK DL REPEAT_2(FN, DL, __VA_ARGS__)
2391#define REPEAT_4(FN, DL, X, ...) FN(X) UNPACK DL REPEAT_3(FN, DL, __VA_ARGS__)
2392#define REPEAT_5(FN, DL, X, ...) FN(X) UNPACK DL REPEAT_4(FN, DL, __VA_ARGS__)
2393#define REPEAT_6(FN, DL, X, ...) FN(X) UNPACK DL REPEAT_5(FN, DL, __VA_ARGS__)
2394#define REPEAT_7(FN, DL, X, ...) FN(X) UNPACK DL REPEAT_6(FN, DL, __VA_ARGS__)
2395#define REPEAT_8(FN, DL, X, ...) FN(X) UNPACK DL REPEAT_7(FN, DL, __VA_ARGS__)
2396#define REPEAT_9(FN, DL, X, ...) FN(X) UNPACK DL REPEAT_8(FN, DL, __VA_ARGS__)
2397#define REPEAT_10(FN, DL, X, ...) FN(X) UNPACK DL REPEAT_9(FN, DL, __VA_ARGS__)
2398#define REPEAT_11(FN, DL, X, ...) FN(X) UNPACK DL REPEAT_10(FN, DL, __VA_ARGS__)
2399#define REPEAT_12(FN, DL, X, ...) FN(X) UNPACK DL REPEAT_11(FN, DL, __VA_ARGS__)
2400#define REPEAT(X, FN, DL, ...) REPEAT_##X(FN, DL, __VA_ARGS__)
2401
2402#define SARG(X) u64 arg##X
2403#define COPY(X) args[X] = arg##X
2404
2405#define __DL_COM (,)
2406#define __DL_SEM (;)
2407
2408#define __SEQ_0_11 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11
2409
2410#define BPF_TRACE_DEFN_x(x) \
2411 void bpf_trace_run##x(struct bpf_prog *prog, \
2412 REPEAT(x, SARG, __DL_COM, __SEQ_0_11)) \
2413 { \
2414 u64 args[x]; \
2415 REPEAT(x, COPY, __DL_SEM, __SEQ_0_11); \
2416 __bpf_trace_run(prog, args); \
2417 } \
2418 EXPORT_SYMBOL_GPL(bpf_trace_run##x)
2419BPF_TRACE_DEFN_x(1);
2420BPF_TRACE_DEFN_x(2);
2421BPF_TRACE_DEFN_x(3);
2422BPF_TRACE_DEFN_x(4);
2423BPF_TRACE_DEFN_x(5);
2424BPF_TRACE_DEFN_x(6);
2425BPF_TRACE_DEFN_x(7);
2426BPF_TRACE_DEFN_x(8);
2427BPF_TRACE_DEFN_x(9);
2428BPF_TRACE_DEFN_x(10);
2429BPF_TRACE_DEFN_x(11);
2430BPF_TRACE_DEFN_x(12);
2431
2432static int __bpf_probe_register(struct bpf_raw_event_map *btp, struct bpf_prog *prog)
2433{
2434 struct tracepoint *tp = btp->tp;
2435
2436 /*
2437 * check that program doesn't access arguments beyond what's
2438 * available in this tracepoint
2439 */
2440 if (prog->aux->max_ctx_offset > btp->num_args * sizeof(u64))
2441 return -EINVAL;
2442
Matt Mullins9df1c282019-04-26 11:49:47 -07002443 if (prog->aux->max_tp_access > btp->writable_size)
2444 return -EINVAL;
2445
Steven Rostedt (VMware)9913d572021-06-29 09:40:10 -04002446 return tracepoint_probe_register_may_exist(tp, (void *)btp->bpf_func,
2447 prog);
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002448}
2449
2450int bpf_probe_register(struct bpf_raw_event_map *btp, struct bpf_prog *prog)
2451{
Alexei Starovoitove16ec342019-01-30 18:12:44 -08002452 return __bpf_probe_register(btp, prog);
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002453}
2454
2455int bpf_probe_unregister(struct bpf_raw_event_map *btp, struct bpf_prog *prog)
2456{
Alexei Starovoitove16ec342019-01-30 18:12:44 -08002457 return tracepoint_probe_unregister(btp->tp, (void *)btp->bpf_func, prog);
Alexei Starovoitovc4f66992018-03-28 12:05:37 -07002458}
Yonghong Song41bdc4b2018-05-24 11:21:09 -07002459
2460int bpf_get_perf_event_info(const struct perf_event *event, u32 *prog_id,
2461 u32 *fd_type, const char **buf,
Jiri Olsa3acf8ac2023-09-20 23:31:39 +02002462 u64 *probe_offset, u64 *probe_addr,
2463 unsigned long *missed)
Yonghong Song41bdc4b2018-05-24 11:21:09 -07002464{
2465 bool is_tracepoint, is_syscall_tp;
2466 struct bpf_prog *prog;
2467 int flags, err = 0;
2468
2469 prog = event->prog;
2470 if (!prog)
2471 return -ENOENT;
2472
2473 /* not supporting BPF_PROG_TYPE_PERF_EVENT yet */
2474 if (prog->type == BPF_PROG_TYPE_PERF_EVENT)
2475 return -EOPNOTSUPP;
2476
2477 *prog_id = prog->aux->id;
2478 flags = event->tp_event->flags;
2479 is_tracepoint = flags & TRACE_EVENT_FL_TRACEPOINT;
2480 is_syscall_tp = is_syscall_trace_event(event->tp_event);
2481
2482 if (is_tracepoint || is_syscall_tp) {
2483 *buf = is_tracepoint ? event->tp_event->tp->name
2484 : event->tp_event->name;
Yafang Shao1b715e12023-07-09 02:56:28 +00002485 /* We allow NULL pointer for tracepoint */
2486 if (fd_type)
2487 *fd_type = BPF_FD_TYPE_TRACEPOINT;
2488 if (probe_offset)
2489 *probe_offset = 0x0;
2490 if (probe_addr)
2491 *probe_addr = 0x0;
Yonghong Song41bdc4b2018-05-24 11:21:09 -07002492 } else {
2493 /* kprobe/uprobe */
2494 err = -EOPNOTSUPP;
2495#ifdef CONFIG_KPROBE_EVENTS
2496 if (flags & TRACE_EVENT_FL_KPROBE)
2497 err = bpf_get_kprobe_info(event, fd_type, buf,
Jiri Olsa3acf8ac2023-09-20 23:31:39 +02002498 probe_offset, probe_addr, missed,
Yonghong Song41bdc4b2018-05-24 11:21:09 -07002499 event->attr.type == PERF_TYPE_TRACEPOINT);
2500#endif
2501#ifdef CONFIG_UPROBE_EVENTS
2502 if (flags & TRACE_EVENT_FL_UPROBE)
2503 err = bpf_get_uprobe_info(event, fd_type, buf,
Yafang Shao5125e752023-07-09 02:56:25 +00002504 probe_offset, probe_addr,
Yonghong Song41bdc4b2018-05-24 11:21:09 -07002505 event->attr.type == PERF_TYPE_TRACEPOINT);
2506#endif
2507 }
2508
2509 return err;
2510}
Matt Mullinsa38d1102018-12-12 16:42:37 -08002511
Yonghong Song9db1ff02019-06-25 17:35:03 -07002512static int __init send_signal_irq_work_init(void)
2513{
2514 int cpu;
2515 struct send_signal_irq_work *work;
2516
2517 for_each_possible_cpu(cpu) {
2518 work = per_cpu_ptr(&send_signal_work, cpu);
2519 init_irq_work(&work->irq_work, do_bpf_send_signal);
2520 }
2521 return 0;
2522}
2523
2524subsys_initcall(send_signal_irq_work_init);
2525
Matt Mullinsa38d1102018-12-12 16:42:37 -08002526#ifdef CONFIG_MODULES
Stanislav Fomichev390e99c2019-05-13 12:04:36 -07002527static int bpf_event_notify(struct notifier_block *nb, unsigned long op,
2528 void *module)
Matt Mullinsa38d1102018-12-12 16:42:37 -08002529{
2530 struct bpf_trace_module *btm, *tmp;
2531 struct module *mod = module;
Peter Zijlstra0340a6b2020-08-18 15:57:37 +02002532 int ret = 0;
Matt Mullinsa38d1102018-12-12 16:42:37 -08002533
2534 if (mod->num_bpf_raw_events == 0 ||
2535 (op != MODULE_STATE_COMING && op != MODULE_STATE_GOING))
Peter Zijlstra0340a6b2020-08-18 15:57:37 +02002536 goto out;
Matt Mullinsa38d1102018-12-12 16:42:37 -08002537
2538 mutex_lock(&bpf_module_mutex);
2539
2540 switch (op) {
2541 case MODULE_STATE_COMING:
2542 btm = kzalloc(sizeof(*btm), GFP_KERNEL);
2543 if (btm) {
2544 btm->module = module;
2545 list_add(&btm->list, &bpf_trace_modules);
Peter Zijlstra0340a6b2020-08-18 15:57:37 +02002546 } else {
2547 ret = -ENOMEM;
Matt Mullinsa38d1102018-12-12 16:42:37 -08002548 }
2549 break;
2550 case MODULE_STATE_GOING:
2551 list_for_each_entry_safe(btm, tmp, &bpf_trace_modules, list) {
2552 if (btm->module == module) {
2553 list_del(&btm->list);
2554 kfree(btm);
2555 break;
2556 }
2557 }
2558 break;
2559 }
2560
2561 mutex_unlock(&bpf_module_mutex);
2562
Peter Zijlstra0340a6b2020-08-18 15:57:37 +02002563out:
2564 return notifier_from_errno(ret);
Matt Mullinsa38d1102018-12-12 16:42:37 -08002565}
2566
2567static struct notifier_block bpf_module_nb = {
2568 .notifier_call = bpf_event_notify,
2569};
2570
Stanislav Fomichev390e99c2019-05-13 12:04:36 -07002571static int __init bpf_event_init(void)
Matt Mullinsa38d1102018-12-12 16:42:37 -08002572{
2573 register_module_notifier(&bpf_module_nb);
2574 return 0;
2575}
2576
2577fs_initcall(bpf_event_init);
2578#endif /* CONFIG_MODULES */
Jiri Olsa0dcac272022-03-16 13:24:09 +01002579
2580#ifdef CONFIG_FPROBE
2581struct bpf_kprobe_multi_link {
2582 struct bpf_link link;
2583 struct fprobe fp;
2584 unsigned long *addrs;
Jiri Olsaca748232022-03-16 13:24:12 +01002585 u64 *cookies;
2586 u32 cnt;
Jiri Olsae22061b2022-10-25 15:41:44 +02002587 u32 mods_cnt;
2588 struct module **mods;
Yafang Shao7ac8d0d2023-07-09 02:56:21 +00002589 u32 flags;
Jiri Olsa0dcac272022-03-16 13:24:09 +01002590};
2591
Jiri Olsaf7098692022-03-21 08:01:13 +01002592struct bpf_kprobe_multi_run_ctx {
2593 struct bpf_run_ctx run_ctx;
2594 struct bpf_kprobe_multi_link *link;
2595 unsigned long entry_ip;
2596};
2597
Jiri Olsa0236fec2022-05-10 14:26:15 +02002598struct user_syms {
2599 const char **syms;
2600 char *buf;
2601};
2602
2603static int copy_user_syms(struct user_syms *us, unsigned long __user *usyms, u32 cnt)
2604{
2605 unsigned long __user usymbol;
2606 const char **syms = NULL;
2607 char *buf = NULL, *p;
2608 int err = -ENOMEM;
2609 unsigned int i;
2610
Dan Carpenterfd58f7d2022-05-26 13:24:05 +03002611 syms = kvmalloc_array(cnt, sizeof(*syms), GFP_KERNEL);
Jiri Olsa0236fec2022-05-10 14:26:15 +02002612 if (!syms)
2613 goto error;
2614
Dan Carpenterfd58f7d2022-05-26 13:24:05 +03002615 buf = kvmalloc_array(cnt, KSYM_NAME_LEN, GFP_KERNEL);
Jiri Olsa0236fec2022-05-10 14:26:15 +02002616 if (!buf)
2617 goto error;
2618
2619 for (p = buf, i = 0; i < cnt; i++) {
2620 if (__get_user(usymbol, usyms + i)) {
2621 err = -EFAULT;
2622 goto error;
2623 }
2624 err = strncpy_from_user(p, (const char __user *) usymbol, KSYM_NAME_LEN);
2625 if (err == KSYM_NAME_LEN)
2626 err = -E2BIG;
2627 if (err < 0)
2628 goto error;
2629 syms[i] = p;
2630 p += err + 1;
2631 }
2632
2633 us->syms = syms;
2634 us->buf = buf;
2635 return 0;
2636
2637error:
2638 if (err) {
2639 kvfree(syms);
2640 kvfree(buf);
2641 }
2642 return err;
2643}
2644
Jiri Olsae22061b2022-10-25 15:41:44 +02002645static void kprobe_multi_put_modules(struct module **mods, u32 cnt)
2646{
2647 u32 i;
2648
2649 for (i = 0; i < cnt; i++)
2650 module_put(mods[i]);
2651}
2652
Jiri Olsa0236fec2022-05-10 14:26:15 +02002653static void free_user_syms(struct user_syms *us)
2654{
2655 kvfree(us->syms);
2656 kvfree(us->buf);
2657}
2658
Jiri Olsa0dcac272022-03-16 13:24:09 +01002659static void bpf_kprobe_multi_link_release(struct bpf_link *link)
2660{
2661 struct bpf_kprobe_multi_link *kmulti_link;
2662
2663 kmulti_link = container_of(link, struct bpf_kprobe_multi_link, link);
2664 unregister_fprobe(&kmulti_link->fp);
Jiri Olsae22061b2022-10-25 15:41:44 +02002665 kprobe_multi_put_modules(kmulti_link->mods, kmulti_link->mods_cnt);
Jiri Olsa0dcac272022-03-16 13:24:09 +01002666}
2667
2668static void bpf_kprobe_multi_link_dealloc(struct bpf_link *link)
2669{
2670 struct bpf_kprobe_multi_link *kmulti_link;
2671
2672 kmulti_link = container_of(link, struct bpf_kprobe_multi_link, link);
2673 kvfree(kmulti_link->addrs);
Jiri Olsaca748232022-03-16 13:24:12 +01002674 kvfree(kmulti_link->cookies);
Jiri Olsae22061b2022-10-25 15:41:44 +02002675 kfree(kmulti_link->mods);
Jiri Olsa0dcac272022-03-16 13:24:09 +01002676 kfree(kmulti_link);
2677}
2678
Yafang Shao7ac8d0d2023-07-09 02:56:21 +00002679static int bpf_kprobe_multi_link_fill_link_info(const struct bpf_link *link,
2680 struct bpf_link_info *info)
2681{
2682 u64 __user *uaddrs = u64_to_user_ptr(info->kprobe_multi.addrs);
2683 struct bpf_kprobe_multi_link *kmulti_link;
2684 u32 ucount = info->kprobe_multi.count;
2685 int err = 0, i;
2686
2687 if (!uaddrs ^ !ucount)
2688 return -EINVAL;
2689
2690 kmulti_link = container_of(link, struct bpf_kprobe_multi_link, link);
2691 info->kprobe_multi.count = kmulti_link->cnt;
2692 info->kprobe_multi.flags = kmulti_link->flags;
Jiri Olsae2b2cd52023-09-20 23:31:38 +02002693 info->kprobe_multi.missed = kmulti_link->fp.nmissed;
Yafang Shao7ac8d0d2023-07-09 02:56:21 +00002694
2695 if (!uaddrs)
2696 return 0;
2697 if (ucount < kmulti_link->cnt)
2698 err = -ENOSPC;
2699 else
2700 ucount = kmulti_link->cnt;
2701
2702 if (kallsyms_show_value(current_cred())) {
2703 if (copy_to_user(uaddrs, kmulti_link->addrs, ucount * sizeof(u64)))
2704 return -EFAULT;
2705 } else {
2706 for (i = 0; i < ucount; i++) {
2707 if (put_user(0, uaddrs + i))
2708 return -EFAULT;
2709 }
2710 }
2711 return err;
2712}
2713
Jiri Olsa0dcac272022-03-16 13:24:09 +01002714static const struct bpf_link_ops bpf_kprobe_multi_link_lops = {
2715 .release = bpf_kprobe_multi_link_release,
2716 .dealloc = bpf_kprobe_multi_link_dealloc,
Yafang Shao7ac8d0d2023-07-09 02:56:21 +00002717 .fill_link_info = bpf_kprobe_multi_link_fill_link_info,
Jiri Olsa0dcac272022-03-16 13:24:09 +01002718};
2719
Jiri Olsaca748232022-03-16 13:24:12 +01002720static void bpf_kprobe_multi_cookie_swap(void *a, void *b, int size, const void *priv)
2721{
2722 const struct bpf_kprobe_multi_link *link = priv;
2723 unsigned long *addr_a = a, *addr_b = b;
2724 u64 *cookie_a, *cookie_b;
Jiri Olsaca748232022-03-16 13:24:12 +01002725
2726 cookie_a = link->cookies + (addr_a - link->addrs);
2727 cookie_b = link->cookies + (addr_b - link->addrs);
2728
2729 /* swap addr_a/addr_b and cookie_a/cookie_b values */
Jiapeng Chong11e17ae2022-03-22 14:21:49 +08002730 swap(*addr_a, *addr_b);
2731 swap(*cookie_a, *cookie_b);
Jiri Olsaca748232022-03-16 13:24:12 +01002732}
2733
Jiri Olsa1a1b0712022-10-25 15:41:43 +02002734static int bpf_kprobe_multi_addrs_cmp(const void *a, const void *b)
Jiri Olsaca748232022-03-16 13:24:12 +01002735{
2736 const unsigned long *addr_a = a, *addr_b = b;
2737
2738 if (*addr_a == *addr_b)
2739 return 0;
2740 return *addr_a < *addr_b ? -1 : 1;
2741}
2742
2743static int bpf_kprobe_multi_cookie_cmp(const void *a, const void *b, const void *priv)
2744{
Jiri Olsa1a1b0712022-10-25 15:41:43 +02002745 return bpf_kprobe_multi_addrs_cmp(a, b);
Jiri Olsaca748232022-03-16 13:24:12 +01002746}
2747
Jiri Olsaf7098692022-03-21 08:01:13 +01002748static u64 bpf_kprobe_multi_cookie(struct bpf_run_ctx *ctx)
Jiri Olsaca748232022-03-16 13:24:12 +01002749{
Jiri Olsaf7098692022-03-21 08:01:13 +01002750 struct bpf_kprobe_multi_run_ctx *run_ctx;
Jiri Olsaca748232022-03-16 13:24:12 +01002751 struct bpf_kprobe_multi_link *link;
Jiri Olsaf7098692022-03-21 08:01:13 +01002752 u64 *cookie, entry_ip;
Jiri Olsaca748232022-03-16 13:24:12 +01002753 unsigned long *addr;
Jiri Olsaca748232022-03-16 13:24:12 +01002754
2755 if (WARN_ON_ONCE(!ctx))
2756 return 0;
Jiri Olsaf7098692022-03-21 08:01:13 +01002757 run_ctx = container_of(current->bpf_ctx, struct bpf_kprobe_multi_run_ctx, run_ctx);
2758 link = run_ctx->link;
Jiri Olsaca748232022-03-16 13:24:12 +01002759 if (!link->cookies)
2760 return 0;
Jiri Olsaf7098692022-03-21 08:01:13 +01002761 entry_ip = run_ctx->entry_ip;
2762 addr = bsearch(&entry_ip, link->addrs, link->cnt, sizeof(entry_ip),
Jiri Olsa1a1b0712022-10-25 15:41:43 +02002763 bpf_kprobe_multi_addrs_cmp);
Jiri Olsaca748232022-03-16 13:24:12 +01002764 if (!addr)
2765 return 0;
2766 cookie = link->cookies + (addr - link->addrs);
2767 return *cookie;
2768}
2769
Jiri Olsaf7098692022-03-21 08:01:13 +01002770static u64 bpf_kprobe_multi_entry_ip(struct bpf_run_ctx *ctx)
2771{
2772 struct bpf_kprobe_multi_run_ctx *run_ctx;
2773
2774 run_ctx = container_of(current->bpf_ctx, struct bpf_kprobe_multi_run_ctx, run_ctx);
2775 return run_ctx->entry_ip;
2776}
2777
Jiri Olsa0dcac272022-03-16 13:24:09 +01002778static int
2779kprobe_multi_link_prog_run(struct bpf_kprobe_multi_link *link,
Jiri Olsaf7098692022-03-21 08:01:13 +01002780 unsigned long entry_ip, struct pt_regs *regs)
Jiri Olsa0dcac272022-03-16 13:24:09 +01002781{
Jiri Olsaf7098692022-03-21 08:01:13 +01002782 struct bpf_kprobe_multi_run_ctx run_ctx = {
2783 .link = link,
2784 .entry_ip = entry_ip,
2785 };
Jiri Olsaca748232022-03-16 13:24:12 +01002786 struct bpf_run_ctx *old_run_ctx;
Jiri Olsa0dcac272022-03-16 13:24:09 +01002787 int err;
2788
2789 if (unlikely(__this_cpu_inc_return(bpf_prog_active) != 1)) {
Jiri Olsaf915fcb2023-09-20 23:31:37 +02002790 bpf_prog_inc_misses_counter(link->link.prog);
Jiri Olsa0dcac272022-03-16 13:24:09 +01002791 err = 0;
2792 goto out;
2793 }
2794
2795 migrate_disable();
2796 rcu_read_lock();
Jiri Olsaf7098692022-03-21 08:01:13 +01002797 old_run_ctx = bpf_set_run_ctx(&run_ctx.run_ctx);
Jiri Olsa0dcac272022-03-16 13:24:09 +01002798 err = bpf_prog_run(link->link.prog, regs);
Jiri Olsaca748232022-03-16 13:24:12 +01002799 bpf_reset_run_ctx(old_run_ctx);
Jiri Olsa0dcac272022-03-16 13:24:09 +01002800 rcu_read_unlock();
2801 migrate_enable();
2802
2803 out:
2804 __this_cpu_dec(bpf_prog_active);
2805 return err;
2806}
2807
Masami Hiramatsu (Google)39d95422023-02-02 00:56:38 +09002808static int
Jiri Olsac09eb2e2022-09-26 17:33:38 +02002809kprobe_multi_link_handler(struct fprobe *fp, unsigned long fentry_ip,
Masami Hiramatsu (Google)cb163302023-06-06 21:39:55 +09002810 unsigned long ret_ip, struct pt_regs *regs,
2811 void *data)
Jiri Olsa0dcac272022-03-16 13:24:09 +01002812{
Jiri Olsa0dcac272022-03-16 13:24:09 +01002813 struct bpf_kprobe_multi_link *link;
2814
Jiri Olsa0dcac272022-03-16 13:24:09 +01002815 link = container_of(fp, struct bpf_kprobe_multi_link, fp);
Jiri Olsac09eb2e2022-09-26 17:33:38 +02002816 kprobe_multi_link_prog_run(link, get_entry_ip(fentry_ip), regs);
Masami Hiramatsu (Google)39d95422023-02-02 00:56:38 +09002817 return 0;
2818}
2819
2820static void
2821kprobe_multi_link_exit_handler(struct fprobe *fp, unsigned long fentry_ip,
Masami Hiramatsu (Google)cb163302023-06-06 21:39:55 +09002822 unsigned long ret_ip, struct pt_regs *regs,
2823 void *data)
Jiri Olsaeb5fb032022-06-15 13:21:17 +02002824{
2825 struct bpf_kprobe_multi_link *link;
2826
2827 link = container_of(fp, struct bpf_kprobe_multi_link, fp);
2828 kprobe_multi_link_prog_run(link, get_entry_ip(fentry_ip), regs);
2829}
2830
2831static int symbols_cmp_r(const void *a, const void *b, const void *priv)
2832{
2833 const char **str_a = (const char **) a;
2834 const char **str_b = (const char **) b;
2835
2836 return strcmp(*str_a, *str_b);
2837}
2838
2839struct multi_symbols_sort {
2840 const char **funcs;
2841 u64 *cookies;
2842};
2843
2844static void symbols_swap_r(void *a, void *b, int size, const void *priv)
Jiri Olsa0dcac272022-03-16 13:24:09 +01002845{
2846 const struct multi_symbols_sort *data = priv;
2847 const char **name_a = a, **name_b = b;
2848
Jiri Olsaca748232022-03-16 13:24:12 +01002849 swap(*name_a, *name_b);
Jiri Olsa0dcac272022-03-16 13:24:09 +01002850
2851 /* If defined, swap also related cookies. */
2852 if (data->cookies) {
Jiri Olsaca748232022-03-16 13:24:12 +01002853 u64 *cookie_a, *cookie_b;
Jiri Olsa0dcac272022-03-16 13:24:09 +01002854
2855 cookie_a = data->cookies + (name_a - data->funcs);
2856 cookie_b = data->cookies + (name_b - data->funcs);
2857 swap(*cookie_a, *cookie_b);
2858 }
2859}
2860
Jiri Olsa6a5f2d62023-01-16 11:10:09 +01002861struct modules_array {
Jiri Olsae22061b2022-10-25 15:41:44 +02002862 struct module **mods;
2863 int mods_cnt;
2864 int mods_cap;
2865};
2866
Jiri Olsa6a5f2d62023-01-16 11:10:09 +01002867static int add_module(struct modules_array *arr, struct module *mod)
Jiri Olsae22061b2022-10-25 15:41:44 +02002868{
Jiri Olsae22061b2022-10-25 15:41:44 +02002869 struct module **mods;
2870
Jiri Olsa6a5f2d62023-01-16 11:10:09 +01002871 if (arr->mods_cnt == arr->mods_cap) {
2872 arr->mods_cap = max(16, arr->mods_cap * 3 / 2);
2873 mods = krealloc_array(arr->mods, arr->mods_cap, sizeof(*mods), GFP_KERNEL);
Jiri Olsae22061b2022-10-25 15:41:44 +02002874 if (!mods)
2875 return -ENOMEM;
Jiri Olsa6a5f2d62023-01-16 11:10:09 +01002876 arr->mods = mods;
Jiri Olsae22061b2022-10-25 15:41:44 +02002877 }
2878
Jiri Olsa6a5f2d62023-01-16 11:10:09 +01002879 arr->mods[arr->mods_cnt] = mod;
2880 arr->mods_cnt++;
Jiri Olsae22061b2022-10-25 15:41:44 +02002881 return 0;
2882}
2883
Jiri Olsa6a5f2d62023-01-16 11:10:09 +01002884static bool has_module(struct modules_array *arr, struct module *mod)
2885{
2886 int i;
2887
2888 for (i = arr->mods_cnt - 1; i >= 0; i--) {
2889 if (arr->mods[i] == mod)
2890 return true;
2891 }
2892 return false;
2893}
2894
Jiri Olsae22061b2022-10-25 15:41:44 +02002895static int get_modules_for_addrs(struct module ***mods, unsigned long *addrs, u32 addrs_cnt)
2896{
Jiri Olsa6a5f2d62023-01-16 11:10:09 +01002897 struct modules_array arr = {};
2898 u32 i, err = 0;
2899
2900 for (i = 0; i < addrs_cnt; i++) {
2901 struct module *mod;
2902
2903 preempt_disable();
2904 mod = __module_address(addrs[i]);
2905 /* Either no module or we it's already stored */
2906 if (!mod || has_module(&arr, mod)) {
2907 preempt_enable();
2908 continue;
2909 }
2910 if (!try_module_get(mod))
2911 err = -EINVAL;
2912 preempt_enable();
2913 if (err)
2914 break;
2915 err = add_module(&arr, mod);
2916 if (err) {
2917 module_put(mod);
2918 break;
2919 }
2920 }
Jiri Olsae22061b2022-10-25 15:41:44 +02002921
2922 /* We return either err < 0 in case of error, ... */
Jiri Olsae22061b2022-10-25 15:41:44 +02002923 if (err) {
Jiri Olsa6a5f2d62023-01-16 11:10:09 +01002924 kprobe_multi_put_modules(arr.mods, arr.mods_cnt);
2925 kfree(arr.mods);
Jiri Olsae22061b2022-10-25 15:41:44 +02002926 return err;
2927 }
2928
2929 /* or number of modules found if everything is ok. */
Jiri Olsa6a5f2d62023-01-16 11:10:09 +01002930 *mods = arr.mods;
2931 return arr.mods_cnt;
Jiri Olsae22061b2022-10-25 15:41:44 +02002932}
2933
Jiri Olsa41bc46c2023-09-07 22:06:51 +02002934static int addrs_check_error_injection_list(unsigned long *addrs, u32 cnt)
2935{
2936 u32 i;
2937
2938 for (i = 0; i < cnt; i++) {
2939 if (!within_error_injection_list(addrs[i]))
2940 return -EINVAL;
2941 }
2942 return 0;
2943}
2944
Jiri Olsa0dcac272022-03-16 13:24:09 +01002945int bpf_kprobe_multi_link_attach(const union bpf_attr *attr, struct bpf_prog *prog)
2946{
2947 struct bpf_kprobe_multi_link *link = NULL;
2948 struct bpf_link_primer link_primer;
2949 void __user *ucookies;
2950 unsigned long *addrs;
2951 u32 flags, cnt, size;
2952 void __user *uaddrs;
2953 u64 *cookies = NULL;
2954 void __user *usyms;
2955 int err;
2956
2957 /* no support for 32bit archs yet */
2958 if (sizeof(u64) != sizeof(void *))
2959 return -EOPNOTSUPP;
2960
2961 if (prog->expected_attach_type != BPF_TRACE_KPROBE_MULTI)
2962 return -EINVAL;
2963
2964 flags = attr->link_create.kprobe_multi.flags;
2965 if (flags & ~BPF_F_KPROBE_MULTI_RETURN)
2966 return -EINVAL;
2967
2968 uaddrs = u64_to_user_ptr(attr->link_create.kprobe_multi.addrs);
2969 usyms = u64_to_user_ptr(attr->link_create.kprobe_multi.syms);
2970 if (!!uaddrs == !!usyms)
2971 return -EINVAL;
2972
2973 cnt = attr->link_create.kprobe_multi.cnt;
2974 if (!cnt)
2975 return -EINVAL;
Hou Taod6d1e6c2023-12-15 18:07:05 +08002976 if (cnt > MAX_KPROBE_MULTI_CNT)
2977 return -E2BIG;
Jiri Olsa0dcac272022-03-16 13:24:09 +01002978
2979 size = cnt * sizeof(*addrs);
Dan Carpenterfd58f7d2022-05-26 13:24:05 +03002980 addrs = kvmalloc_array(cnt, sizeof(*addrs), GFP_KERNEL);
Jiri Olsa0dcac272022-03-16 13:24:09 +01002981 if (!addrs)
2982 return -ENOMEM;
2983
Jiri Olsaca748232022-03-16 13:24:12 +01002984 ucookies = u64_to_user_ptr(attr->link_create.kprobe_multi.cookies);
2985 if (ucookies) {
Dan Carpenterfd58f7d2022-05-26 13:24:05 +03002986 cookies = kvmalloc_array(cnt, sizeof(*addrs), GFP_KERNEL);
Jiri Olsaca748232022-03-16 13:24:12 +01002987 if (!cookies) {
2988 err = -ENOMEM;
2989 goto error;
2990 }
2991 if (copy_from_user(cookies, ucookies, size)) {
2992 err = -EFAULT;
2993 goto error;
2994 }
2995 }
2996
Jiri Olsaeb5fb032022-06-15 13:21:17 +02002997 if (uaddrs) {
2998 if (copy_from_user(addrs, uaddrs, size)) {
2999 err = -EFAULT;
3000 goto error;
3001 }
3002 } else {
3003 struct multi_symbols_sort data = {
3004 .cookies = cookies,
3005 };
3006 struct user_syms us;
3007
3008 err = copy_user_syms(&us, usyms, cnt);
3009 if (err)
3010 goto error;
3011
3012 if (cookies)
3013 data.funcs = us.syms;
3014
3015 sort_r(us.syms, cnt, sizeof(*us.syms), symbols_cmp_r,
3016 symbols_swap_r, &data);
3017
3018 err = ftrace_lookup_symbols(us.syms, cnt, addrs);
3019 free_user_syms(&us);
3020 if (err)
3021 goto error;
3022 }
3023
Jiri Olsa41bc46c2023-09-07 22:06:51 +02003024 if (prog->kprobe_override && addrs_check_error_injection_list(addrs, cnt)) {
3025 err = -EINVAL;
3026 goto error;
3027 }
3028
Jiri Olsa0dcac272022-03-16 13:24:09 +01003029 link = kzalloc(sizeof(*link), GFP_KERNEL);
3030 if (!link) {
3031 err = -ENOMEM;
3032 goto error;
3033 }
3034
3035 bpf_link_init(&link->link, BPF_LINK_TYPE_KPROBE_MULTI,
3036 &bpf_kprobe_multi_link_lops, prog);
3037
3038 err = bpf_link_prime(&link->link, &link_primer);
3039 if (err)
3040 goto error;
3041
3042 if (flags & BPF_F_KPROBE_MULTI_RETURN)
Masami Hiramatsu (Google)39d95422023-02-02 00:56:38 +09003043 link->fp.exit_handler = kprobe_multi_link_exit_handler;
Jiri Olsa0dcac272022-03-16 13:24:09 +01003044 else
3045 link->fp.entry_handler = kprobe_multi_link_handler;
3046
3047 link->addrs = addrs;
Jiri Olsaca748232022-03-16 13:24:12 +01003048 link->cookies = cookies;
3049 link->cnt = cnt;
Yafang Shao7ac8d0d2023-07-09 02:56:21 +00003050 link->flags = flags;
Jiri Olsaca748232022-03-16 13:24:12 +01003051
3052 if (cookies) {
3053 /*
3054 * Sorting addresses will trigger sorting cookies as well
3055 * (check bpf_kprobe_multi_cookie_swap). This way we can
3056 * find cookie based on the address in bpf_get_attach_cookie
3057 * helper.
3058 */
3059 sort_r(addrs, cnt, sizeof(*addrs),
3060 bpf_kprobe_multi_cookie_cmp,
3061 bpf_kprobe_multi_cookie_swap,
3062 link);
3063 }
Jiri Olsa0dcac272022-03-16 13:24:09 +01003064
Jiri Olsae22061b2022-10-25 15:41:44 +02003065 err = get_modules_for_addrs(&link->mods, addrs, cnt);
3066 if (err < 0) {
3067 bpf_link_cleanup(&link_primer);
3068 return err;
3069 }
3070 link->mods_cnt = err;
3071
Jiri Olsa0dcac272022-03-16 13:24:09 +01003072 err = register_fprobe_ips(&link->fp, addrs, cnt);
3073 if (err) {
Jiri Olsae22061b2022-10-25 15:41:44 +02003074 kprobe_multi_put_modules(link->mods, link->mods_cnt);
Jiri Olsa0dcac272022-03-16 13:24:09 +01003075 bpf_link_cleanup(&link_primer);
3076 return err;
3077 }
3078
3079 return bpf_link_settle(&link_primer);
3080
3081error:
3082 kfree(link);
3083 kvfree(addrs);
Jiri Olsaca748232022-03-16 13:24:12 +01003084 kvfree(cookies);
Jiri Olsa0dcac272022-03-16 13:24:09 +01003085 return err;
3086}
3087#else /* !CONFIG_FPROBE */
3088int bpf_kprobe_multi_link_attach(const union bpf_attr *attr, struct bpf_prog *prog)
3089{
3090 return -EOPNOTSUPP;
3091}
Jiri Olsaf7098692022-03-21 08:01:13 +01003092static u64 bpf_kprobe_multi_cookie(struct bpf_run_ctx *ctx)
3093{
3094 return 0;
3095}
3096static u64 bpf_kprobe_multi_entry_ip(struct bpf_run_ctx *ctx)
Jiri Olsaca748232022-03-16 13:24:12 +01003097{
3098 return 0;
3099}
Jiri Olsa0dcac272022-03-16 13:24:09 +01003100#endif
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003101
3102#ifdef CONFIG_UPROBES
3103struct bpf_uprobe_multi_link;
3104
3105struct bpf_uprobe {
3106 struct bpf_uprobe_multi_link *link;
3107 loff_t offset;
Jiri Olsa4930b7f2023-11-25 20:31:26 +01003108 unsigned long ref_ctr_offset;
Jiri Olsa0b779b62023-08-09 10:34:16 +02003109 u64 cookie;
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003110 struct uprobe_consumer consumer;
3111};
3112
3113struct bpf_uprobe_multi_link {
3114 struct path path;
3115 struct bpf_link link;
3116 u32 cnt;
Jiri Olsae56fdbf2023-11-25 20:31:27 +01003117 u32 flags;
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003118 struct bpf_uprobe *uprobes;
Jiri Olsab733eea2023-08-09 10:34:17 +02003119 struct task_struct *task;
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003120};
3121
3122struct bpf_uprobe_multi_run_ctx {
3123 struct bpf_run_ctx run_ctx;
3124 unsigned long entry_ip;
Jiri Olsa0b779b62023-08-09 10:34:16 +02003125 struct bpf_uprobe *uprobe;
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003126};
3127
3128static void bpf_uprobe_unregister(struct path *path, struct bpf_uprobe *uprobes,
3129 u32 cnt)
3130{
3131 u32 i;
3132
3133 for (i = 0; i < cnt; i++) {
3134 uprobe_unregister(d_real_inode(path->dentry), uprobes[i].offset,
3135 &uprobes[i].consumer);
3136 }
3137}
3138
3139static void bpf_uprobe_multi_link_release(struct bpf_link *link)
3140{
3141 struct bpf_uprobe_multi_link *umulti_link;
3142
3143 umulti_link = container_of(link, struct bpf_uprobe_multi_link, link);
3144 bpf_uprobe_unregister(&umulti_link->path, umulti_link->uprobes, umulti_link->cnt);
3145}
3146
3147static void bpf_uprobe_multi_link_dealloc(struct bpf_link *link)
3148{
3149 struct bpf_uprobe_multi_link *umulti_link;
3150
3151 umulti_link = container_of(link, struct bpf_uprobe_multi_link, link);
Jiri Olsab733eea2023-08-09 10:34:17 +02003152 if (umulti_link->task)
3153 put_task_struct(umulti_link->task);
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003154 path_put(&umulti_link->path);
3155 kvfree(umulti_link->uprobes);
3156 kfree(umulti_link);
3157}
3158
Jiri Olsae56fdbf2023-11-25 20:31:27 +01003159static int bpf_uprobe_multi_link_fill_link_info(const struct bpf_link *link,
3160 struct bpf_link_info *info)
3161{
3162 u64 __user *uref_ctr_offsets = u64_to_user_ptr(info->uprobe_multi.ref_ctr_offsets);
3163 u64 __user *ucookies = u64_to_user_ptr(info->uprobe_multi.cookies);
3164 u64 __user *uoffsets = u64_to_user_ptr(info->uprobe_multi.offsets);
3165 u64 __user *upath = u64_to_user_ptr(info->uprobe_multi.path);
3166 u32 upath_size = info->uprobe_multi.path_size;
3167 struct bpf_uprobe_multi_link *umulti_link;
3168 u32 ucount = info->uprobe_multi.count;
3169 int err = 0, i;
3170 long left;
3171
3172 if (!upath ^ !upath_size)
3173 return -EINVAL;
3174
3175 if ((uoffsets || uref_ctr_offsets || ucookies) && !ucount)
3176 return -EINVAL;
3177
3178 umulti_link = container_of(link, struct bpf_uprobe_multi_link, link);
3179 info->uprobe_multi.count = umulti_link->cnt;
3180 info->uprobe_multi.flags = umulti_link->flags;
3181 info->uprobe_multi.pid = umulti_link->task ?
3182 task_pid_nr_ns(umulti_link->task, task_active_pid_ns(current)) : 0;
3183
3184 if (upath) {
3185 char *p, *buf;
3186
3187 upath_size = min_t(u32, upath_size, PATH_MAX);
3188
3189 buf = kmalloc(upath_size, GFP_KERNEL);
3190 if (!buf)
3191 return -ENOMEM;
3192 p = d_path(&umulti_link->path, buf, upath_size);
3193 if (IS_ERR(p)) {
3194 kfree(buf);
3195 return PTR_ERR(p);
3196 }
3197 upath_size = buf + upath_size - p;
3198 left = copy_to_user(upath, p, upath_size);
3199 kfree(buf);
3200 if (left)
3201 return -EFAULT;
3202 info->uprobe_multi.path_size = upath_size;
3203 }
3204
3205 if (!uoffsets && !ucookies && !uref_ctr_offsets)
3206 return 0;
3207
3208 if (ucount < umulti_link->cnt)
3209 err = -ENOSPC;
3210 else
3211 ucount = umulti_link->cnt;
3212
3213 for (i = 0; i < ucount; i++) {
3214 if (uoffsets &&
3215 put_user(umulti_link->uprobes[i].offset, uoffsets + i))
3216 return -EFAULT;
3217 if (uref_ctr_offsets &&
3218 put_user(umulti_link->uprobes[i].ref_ctr_offset, uref_ctr_offsets + i))
3219 return -EFAULT;
3220 if (ucookies &&
3221 put_user(umulti_link->uprobes[i].cookie, ucookies + i))
3222 return -EFAULT;
3223 }
3224
3225 return err;
3226}
3227
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003228static const struct bpf_link_ops bpf_uprobe_multi_link_lops = {
3229 .release = bpf_uprobe_multi_link_release,
3230 .dealloc = bpf_uprobe_multi_link_dealloc,
Jiri Olsae56fdbf2023-11-25 20:31:27 +01003231 .fill_link_info = bpf_uprobe_multi_link_fill_link_info,
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003232};
3233
3234static int uprobe_prog_run(struct bpf_uprobe *uprobe,
3235 unsigned long entry_ip,
3236 struct pt_regs *regs)
3237{
3238 struct bpf_uprobe_multi_link *link = uprobe->link;
3239 struct bpf_uprobe_multi_run_ctx run_ctx = {
3240 .entry_ip = entry_ip,
Jiri Olsa0b779b62023-08-09 10:34:16 +02003241 .uprobe = uprobe,
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003242 };
3243 struct bpf_prog *prog = link->link.prog;
3244 bool sleepable = prog->aux->sleepable;
3245 struct bpf_run_ctx *old_run_ctx;
3246 int err = 0;
3247
Jiri Olsab733eea2023-08-09 10:34:17 +02003248 if (link->task && current != link->task)
3249 return 0;
3250
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003251 if (sleepable)
3252 rcu_read_lock_trace();
3253 else
3254 rcu_read_lock();
3255
3256 migrate_disable();
3257
3258 old_run_ctx = bpf_set_run_ctx(&run_ctx.run_ctx);
3259 err = bpf_prog_run(link->link.prog, regs);
3260 bpf_reset_run_ctx(old_run_ctx);
3261
3262 migrate_enable();
3263
3264 if (sleepable)
3265 rcu_read_unlock_trace();
3266 else
3267 rcu_read_unlock();
3268 return err;
3269}
3270
Jiri Olsab733eea2023-08-09 10:34:17 +02003271static bool
3272uprobe_multi_link_filter(struct uprobe_consumer *con, enum uprobe_filter_ctx ctx,
3273 struct mm_struct *mm)
3274{
3275 struct bpf_uprobe *uprobe;
3276
3277 uprobe = container_of(con, struct bpf_uprobe, consumer);
3278 return uprobe->link->task->mm == mm;
3279}
3280
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003281static int
3282uprobe_multi_link_handler(struct uprobe_consumer *con, struct pt_regs *regs)
3283{
3284 struct bpf_uprobe *uprobe;
3285
3286 uprobe = container_of(con, struct bpf_uprobe, consumer);
3287 return uprobe_prog_run(uprobe, instruction_pointer(regs), regs);
3288}
3289
3290static int
3291uprobe_multi_link_ret_handler(struct uprobe_consumer *con, unsigned long func, struct pt_regs *regs)
3292{
3293 struct bpf_uprobe *uprobe;
3294
3295 uprobe = container_of(con, struct bpf_uprobe, consumer);
3296 return uprobe_prog_run(uprobe, func, regs);
3297}
3298
Jiri Olsa686328d2023-08-09 10:34:18 +02003299static u64 bpf_uprobe_multi_entry_ip(struct bpf_run_ctx *ctx)
3300{
3301 struct bpf_uprobe_multi_run_ctx *run_ctx;
3302
3303 run_ctx = container_of(current->bpf_ctx, struct bpf_uprobe_multi_run_ctx, run_ctx);
3304 return run_ctx->entry_ip;
3305}
3306
Jiri Olsa0b779b62023-08-09 10:34:16 +02003307static u64 bpf_uprobe_multi_cookie(struct bpf_run_ctx *ctx)
3308{
3309 struct bpf_uprobe_multi_run_ctx *run_ctx;
3310
3311 run_ctx = container_of(current->bpf_ctx, struct bpf_uprobe_multi_run_ctx, run_ctx);
3312 return run_ctx->uprobe->cookie;
3313}
3314
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003315int bpf_uprobe_multi_link_attach(const union bpf_attr *attr, struct bpf_prog *prog)
3316{
3317 struct bpf_uprobe_multi_link *link = NULL;
3318 unsigned long __user *uref_ctr_offsets;
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003319 struct bpf_link_primer link_primer;
3320 struct bpf_uprobe *uprobes = NULL;
Jiri Olsab733eea2023-08-09 10:34:17 +02003321 struct task_struct *task = NULL;
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003322 unsigned long __user *uoffsets;
Jiri Olsa0b779b62023-08-09 10:34:16 +02003323 u64 __user *ucookies;
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003324 void __user *upath;
3325 u32 flags, cnt, i;
3326 struct path path;
3327 char *name;
Jiri Olsab733eea2023-08-09 10:34:17 +02003328 pid_t pid;
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003329 int err;
3330
3331 /* no support for 32bit archs yet */
3332 if (sizeof(u64) != sizeof(void *))
3333 return -EOPNOTSUPP;
3334
3335 if (prog->expected_attach_type != BPF_TRACE_UPROBE_MULTI)
3336 return -EINVAL;
3337
3338 flags = attr->link_create.uprobe_multi.flags;
3339 if (flags & ~BPF_F_UPROBE_MULTI_RETURN)
3340 return -EINVAL;
3341
3342 /*
3343 * path, offsets and cnt are mandatory,
Jiri Olsa0b779b62023-08-09 10:34:16 +02003344 * ref_ctr_offsets and cookies are optional
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003345 */
3346 upath = u64_to_user_ptr(attr->link_create.uprobe_multi.path);
3347 uoffsets = u64_to_user_ptr(attr->link_create.uprobe_multi.offsets);
3348 cnt = attr->link_create.uprobe_multi.cnt;
3349
3350 if (!upath || !uoffsets || !cnt)
3351 return -EINVAL;
Hou Tao8b2efe52023-12-15 18:07:04 +08003352 if (cnt > MAX_UPROBE_MULTI_CNT)
3353 return -E2BIG;
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003354
3355 uref_ctr_offsets = u64_to_user_ptr(attr->link_create.uprobe_multi.ref_ctr_offsets);
Jiri Olsa0b779b62023-08-09 10:34:16 +02003356 ucookies = u64_to_user_ptr(attr->link_create.uprobe_multi.cookies);
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003357
3358 name = strndup_user(upath, PATH_MAX);
3359 if (IS_ERR(name)) {
3360 err = PTR_ERR(name);
3361 return err;
3362 }
3363
3364 err = kern_path(name, LOOKUP_FOLLOW, &path);
3365 kfree(name);
3366 if (err)
3367 return err;
3368
3369 if (!d_is_reg(path.dentry)) {
3370 err = -EBADF;
3371 goto error_path_put;
3372 }
3373
Jiri Olsab733eea2023-08-09 10:34:17 +02003374 pid = attr->link_create.uprobe_multi.pid;
3375 if (pid) {
3376 rcu_read_lock();
3377 task = get_pid_task(find_vpid(pid), PIDTYPE_PID);
3378 rcu_read_unlock();
Jiri Olsa57eb5e12023-09-15 12:14:20 +02003379 if (!task) {
3380 err = -ESRCH;
Jiri Olsab733eea2023-08-09 10:34:17 +02003381 goto error_path_put;
Jiri Olsa57eb5e12023-09-15 12:14:20 +02003382 }
Jiri Olsab733eea2023-08-09 10:34:17 +02003383 }
3384
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003385 err = -ENOMEM;
3386
3387 link = kzalloc(sizeof(*link), GFP_KERNEL);
3388 uprobes = kvcalloc(cnt, sizeof(*uprobes), GFP_KERNEL);
3389
3390 if (!uprobes || !link)
3391 goto error_free;
3392
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003393 for (i = 0; i < cnt; i++) {
Jiri Olsa3983c002023-12-17 22:55:37 +01003394 if (__get_user(uprobes[i].offset, uoffsets + i)) {
Jiri Olsa0b779b62023-08-09 10:34:16 +02003395 err = -EFAULT;
3396 goto error_free;
3397 }
Jiri Olsa3983c002023-12-17 22:55:37 +01003398 if (uprobes[i].offset < 0) {
3399 err = -EINVAL;
3400 goto error_free;
3401 }
Jiri Olsa4930b7f2023-11-25 20:31:26 +01003402 if (uref_ctr_offsets && __get_user(uprobes[i].ref_ctr_offset, uref_ctr_offsets + i)) {
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003403 err = -EFAULT;
3404 goto error_free;
3405 }
Jiri Olsa3983c002023-12-17 22:55:37 +01003406 if (ucookies && __get_user(uprobes[i].cookie, ucookies + i)) {
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003407 err = -EFAULT;
3408 goto error_free;
3409 }
3410
3411 uprobes[i].link = link;
3412
3413 if (flags & BPF_F_UPROBE_MULTI_RETURN)
3414 uprobes[i].consumer.ret_handler = uprobe_multi_link_ret_handler;
3415 else
3416 uprobes[i].consumer.handler = uprobe_multi_link_handler;
Jiri Olsab733eea2023-08-09 10:34:17 +02003417
3418 if (pid)
3419 uprobes[i].consumer.filter = uprobe_multi_link_filter;
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003420 }
3421
3422 link->cnt = cnt;
3423 link->uprobes = uprobes;
3424 link->path = path;
Jiri Olsab733eea2023-08-09 10:34:17 +02003425 link->task = task;
Jiri Olsae56fdbf2023-11-25 20:31:27 +01003426 link->flags = flags;
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003427
3428 bpf_link_init(&link->link, BPF_LINK_TYPE_UPROBE_MULTI,
3429 &bpf_uprobe_multi_link_lops, prog);
3430
3431 for (i = 0; i < cnt; i++) {
3432 err = uprobe_register_refctr(d_real_inode(link->path.dentry),
3433 uprobes[i].offset,
Jiri Olsa4930b7f2023-11-25 20:31:26 +01003434 uprobes[i].ref_ctr_offset,
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003435 &uprobes[i].consumer);
3436 if (err) {
3437 bpf_uprobe_unregister(&path, uprobes, i);
3438 goto error_free;
3439 }
3440 }
3441
3442 err = bpf_link_prime(&link->link, &link_primer);
3443 if (err)
3444 goto error_free;
3445
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003446 return bpf_link_settle(&link_primer);
3447
3448error_free:
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003449 kvfree(uprobes);
3450 kfree(link);
Jiri Olsab733eea2023-08-09 10:34:17 +02003451 if (task)
3452 put_task_struct(task);
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003453error_path_put:
3454 path_put(&path);
3455 return err;
3456}
3457#else /* !CONFIG_UPROBES */
3458int bpf_uprobe_multi_link_attach(const union bpf_attr *attr, struct bpf_prog *prog)
3459{
3460 return -EOPNOTSUPP;
3461}
Jiri Olsa0b779b62023-08-09 10:34:16 +02003462static u64 bpf_uprobe_multi_cookie(struct bpf_run_ctx *ctx)
3463{
3464 return 0;
3465}
Jiri Olsa686328d2023-08-09 10:34:18 +02003466static u64 bpf_uprobe_multi_entry_ip(struct bpf_run_ctx *ctx)
3467{
3468 return 0;
3469}
Jiri Olsa89ae89f2023-08-09 10:34:15 +02003470#endif /* CONFIG_UPROBES */