xref: /linux/kernel/trace/trace_probe.c (revision 44f57d78)
1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * Common code for probe-based Dynamic events.
4  *
5  * This code was copied from kernel/trace/trace_kprobe.c written by
6  * Masami Hiramatsu <masami.hiramatsu.pt@hitachi.com>
7  *
8  * Updates to make this generic:
9  * Copyright (C) IBM Corporation, 2010-2011
10  * Author:     Srikar Dronamraju
11  */
12 #define pr_fmt(fmt)	"trace_probe: " fmt
13 
14 #include "trace_probe.h"
15 
16 #undef C
17 #define C(a, b)		b
18 
19 static const char *trace_probe_err_text[] = { ERRORS };
20 
21 static const char *reserved_field_names[] = {
22 	"common_type",
23 	"common_flags",
24 	"common_preempt_count",
25 	"common_pid",
26 	"common_tgid",
27 	FIELD_STRING_IP,
28 	FIELD_STRING_RETIP,
29 	FIELD_STRING_FUNC,
30 };
31 
32 /* Printing  in basic type function template */
33 #define DEFINE_BASIC_PRINT_TYPE_FUNC(tname, type, fmt)			\
34 int PRINT_TYPE_FUNC_NAME(tname)(struct trace_seq *s, void *data, void *ent)\
35 {									\
36 	trace_seq_printf(s, fmt, *(type *)data);			\
37 	return !trace_seq_has_overflowed(s);				\
38 }									\
39 const char PRINT_TYPE_FMT_NAME(tname)[] = fmt;
40 
41 DEFINE_BASIC_PRINT_TYPE_FUNC(u8,  u8,  "%u")
42 DEFINE_BASIC_PRINT_TYPE_FUNC(u16, u16, "%u")
43 DEFINE_BASIC_PRINT_TYPE_FUNC(u32, u32, "%u")
44 DEFINE_BASIC_PRINT_TYPE_FUNC(u64, u64, "%Lu")
45 DEFINE_BASIC_PRINT_TYPE_FUNC(s8,  s8,  "%d")
46 DEFINE_BASIC_PRINT_TYPE_FUNC(s16, s16, "%d")
47 DEFINE_BASIC_PRINT_TYPE_FUNC(s32, s32, "%d")
48 DEFINE_BASIC_PRINT_TYPE_FUNC(s64, s64, "%Ld")
49 DEFINE_BASIC_PRINT_TYPE_FUNC(x8,  u8,  "0x%x")
50 DEFINE_BASIC_PRINT_TYPE_FUNC(x16, u16, "0x%x")
51 DEFINE_BASIC_PRINT_TYPE_FUNC(x32, u32, "0x%x")
52 DEFINE_BASIC_PRINT_TYPE_FUNC(x64, u64, "0x%Lx")
53 
54 int PRINT_TYPE_FUNC_NAME(symbol)(struct trace_seq *s, void *data, void *ent)
55 {
56 	trace_seq_printf(s, "%pS", (void *)*(unsigned long *)data);
57 	return !trace_seq_has_overflowed(s);
58 }
59 const char PRINT_TYPE_FMT_NAME(symbol)[] = "%pS";
60 
61 /* Print type function for string type */
62 int PRINT_TYPE_FUNC_NAME(string)(struct trace_seq *s, void *data, void *ent)
63 {
64 	int len = *(u32 *)data >> 16;
65 
66 	if (!len)
67 		trace_seq_puts(s, "(fault)");
68 	else
69 		trace_seq_printf(s, "\"%s\"",
70 				 (const char *)get_loc_data(data, ent));
71 	return !trace_seq_has_overflowed(s);
72 }
73 
74 const char PRINT_TYPE_FMT_NAME(string)[] = "\\\"%s\\\"";
75 
76 /* Fetch type information table */
77 static const struct fetch_type probe_fetch_types[] = {
78 	/* Special types */
79 	__ASSIGN_FETCH_TYPE("string", string, string, sizeof(u32), 1,
80 			    "__data_loc char[]"),
81 	/* Basic types */
82 	ASSIGN_FETCH_TYPE(u8,  u8,  0),
83 	ASSIGN_FETCH_TYPE(u16, u16, 0),
84 	ASSIGN_FETCH_TYPE(u32, u32, 0),
85 	ASSIGN_FETCH_TYPE(u64, u64, 0),
86 	ASSIGN_FETCH_TYPE(s8,  u8,  1),
87 	ASSIGN_FETCH_TYPE(s16, u16, 1),
88 	ASSIGN_FETCH_TYPE(s32, u32, 1),
89 	ASSIGN_FETCH_TYPE(s64, u64, 1),
90 	ASSIGN_FETCH_TYPE_ALIAS(x8,  u8,  u8,  0),
91 	ASSIGN_FETCH_TYPE_ALIAS(x16, u16, u16, 0),
92 	ASSIGN_FETCH_TYPE_ALIAS(x32, u32, u32, 0),
93 	ASSIGN_FETCH_TYPE_ALIAS(x64, u64, u64, 0),
94 	ASSIGN_FETCH_TYPE_ALIAS(symbol, ADDR_FETCH_TYPE, ADDR_FETCH_TYPE, 0),
95 
96 	ASSIGN_FETCH_TYPE_END
97 };
98 
99 static const struct fetch_type *find_fetch_type(const char *type)
100 {
101 	int i;
102 
103 	if (!type)
104 		type = DEFAULT_FETCH_TYPE_STR;
105 
106 	/* Special case: bitfield */
107 	if (*type == 'b') {
108 		unsigned long bs;
109 
110 		type = strchr(type, '/');
111 		if (!type)
112 			goto fail;
113 
114 		type++;
115 		if (kstrtoul(type, 0, &bs))
116 			goto fail;
117 
118 		switch (bs) {
119 		case 8:
120 			return find_fetch_type("u8");
121 		case 16:
122 			return find_fetch_type("u16");
123 		case 32:
124 			return find_fetch_type("u32");
125 		case 64:
126 			return find_fetch_type("u64");
127 		default:
128 			goto fail;
129 		}
130 	}
131 
132 	for (i = 0; probe_fetch_types[i].name; i++) {
133 		if (strcmp(type, probe_fetch_types[i].name) == 0)
134 			return &probe_fetch_types[i];
135 	}
136 
137 fail:
138 	return NULL;
139 }
140 
141 static struct trace_probe_log trace_probe_log;
142 
143 void trace_probe_log_init(const char *subsystem, int argc, const char **argv)
144 {
145 	trace_probe_log.subsystem = subsystem;
146 	trace_probe_log.argc = argc;
147 	trace_probe_log.argv = argv;
148 	trace_probe_log.index = 0;
149 }
150 
151 void trace_probe_log_clear(void)
152 {
153 	memset(&trace_probe_log, 0, sizeof(trace_probe_log));
154 }
155 
156 void trace_probe_log_set_index(int index)
157 {
158 	trace_probe_log.index = index;
159 }
160 
161 void __trace_probe_log_err(int offset, int err_type)
162 {
163 	char *command, *p;
164 	int i, len = 0, pos = 0;
165 
166 	if (!trace_probe_log.argv)
167 		return;
168 
169 	/* Recalcurate the length and allocate buffer */
170 	for (i = 0; i < trace_probe_log.argc; i++) {
171 		if (i == trace_probe_log.index)
172 			pos = len;
173 		len += strlen(trace_probe_log.argv[i]) + 1;
174 	}
175 	command = kzalloc(len, GFP_KERNEL);
176 	if (!command)
177 		return;
178 
179 	/* And make a command string from argv array */
180 	p = command;
181 	for (i = 0; i < trace_probe_log.argc; i++) {
182 		len = strlen(trace_probe_log.argv[i]);
183 		strcpy(p, trace_probe_log.argv[i]);
184 		p[len] = ' ';
185 		p += len + 1;
186 	}
187 	*(p - 1) = '\0';
188 
189 	tracing_log_err(NULL, trace_probe_log.subsystem, command,
190 			trace_probe_err_text, err_type, pos + offset);
191 
192 	kfree(command);
193 }
194 
195 /* Split symbol and offset. */
196 int traceprobe_split_symbol_offset(char *symbol, long *offset)
197 {
198 	char *tmp;
199 	int ret;
200 
201 	if (!offset)
202 		return -EINVAL;
203 
204 	tmp = strpbrk(symbol, "+-");
205 	if (tmp) {
206 		ret = kstrtol(tmp, 0, offset);
207 		if (ret)
208 			return ret;
209 		*tmp = '\0';
210 	} else
211 		*offset = 0;
212 
213 	return 0;
214 }
215 
216 /* @buf must has MAX_EVENT_NAME_LEN size */
217 int traceprobe_parse_event_name(const char **pevent, const char **pgroup,
218 				char *buf, int offset)
219 {
220 	const char *slash, *event = *pevent;
221 	int len;
222 
223 	slash = strchr(event, '/');
224 	if (slash) {
225 		if (slash == event) {
226 			trace_probe_log_err(offset, NO_GROUP_NAME);
227 			return -EINVAL;
228 		}
229 		if (slash - event + 1 > MAX_EVENT_NAME_LEN) {
230 			trace_probe_log_err(offset, GROUP_TOO_LONG);
231 			return -EINVAL;
232 		}
233 		strlcpy(buf, event, slash - event + 1);
234 		if (!is_good_name(buf)) {
235 			trace_probe_log_err(offset, BAD_GROUP_NAME);
236 			return -EINVAL;
237 		}
238 		*pgroup = buf;
239 		*pevent = slash + 1;
240 		offset += slash - event + 1;
241 		event = *pevent;
242 	}
243 	len = strlen(event);
244 	if (len == 0) {
245 		trace_probe_log_err(offset, NO_EVENT_NAME);
246 		return -EINVAL;
247 	} else if (len > MAX_EVENT_NAME_LEN) {
248 		trace_probe_log_err(offset, EVENT_TOO_LONG);
249 		return -EINVAL;
250 	}
251 	if (!is_good_name(event)) {
252 		trace_probe_log_err(offset, BAD_EVENT_NAME);
253 		return -EINVAL;
254 	}
255 	return 0;
256 }
257 
258 #define PARAM_MAX_STACK (THREAD_SIZE / sizeof(unsigned long))
259 
260 static int parse_probe_vars(char *arg, const struct fetch_type *t,
261 			struct fetch_insn *code, unsigned int flags, int offs)
262 {
263 	unsigned long param;
264 	int ret = 0;
265 	int len;
266 
267 	if (strcmp(arg, "retval") == 0) {
268 		if (flags & TPARG_FL_RETURN) {
269 			code->op = FETCH_OP_RETVAL;
270 		} else {
271 			trace_probe_log_err(offs, RETVAL_ON_PROBE);
272 			ret = -EINVAL;
273 		}
274 	} else if ((len = str_has_prefix(arg, "stack"))) {
275 		if (arg[len] == '\0') {
276 			code->op = FETCH_OP_STACKP;
277 		} else if (isdigit(arg[len])) {
278 			ret = kstrtoul(arg + len, 10, &param);
279 			if (ret) {
280 				goto inval_var;
281 			} else if ((flags & TPARG_FL_KERNEL) &&
282 				    param > PARAM_MAX_STACK) {
283 				trace_probe_log_err(offs, BAD_STACK_NUM);
284 				ret = -EINVAL;
285 			} else {
286 				code->op = FETCH_OP_STACK;
287 				code->param = (unsigned int)param;
288 			}
289 		} else
290 			goto inval_var;
291 	} else if (strcmp(arg, "comm") == 0) {
292 		code->op = FETCH_OP_COMM;
293 #ifdef CONFIG_HAVE_FUNCTION_ARG_ACCESS_API
294 	} else if (((flags & TPARG_FL_MASK) ==
295 		    (TPARG_FL_KERNEL | TPARG_FL_FENTRY)) &&
296 		   (len = str_has_prefix(arg, "arg"))) {
297 		ret = kstrtoul(arg + len, 10, &param);
298 		if (ret) {
299 			goto inval_var;
300 		} else if (!param || param > PARAM_MAX_STACK) {
301 			trace_probe_log_err(offs, BAD_ARG_NUM);
302 			return -EINVAL;
303 		}
304 		code->op = FETCH_OP_ARG;
305 		code->param = (unsigned int)param - 1;
306 #endif
307 	} else
308 		goto inval_var;
309 
310 	return ret;
311 
312 inval_var:
313 	trace_probe_log_err(offs, BAD_VAR);
314 	return -EINVAL;
315 }
316 
317 /* Recursive argument parser */
318 static int
319 parse_probe_arg(char *arg, const struct fetch_type *type,
320 		struct fetch_insn **pcode, struct fetch_insn *end,
321 		unsigned int flags, int offs)
322 {
323 	struct fetch_insn *code = *pcode;
324 	unsigned long param;
325 	long offset = 0;
326 	char *tmp;
327 	int ret = 0;
328 
329 	switch (arg[0]) {
330 	case '$':
331 		ret = parse_probe_vars(arg + 1, type, code, flags, offs);
332 		break;
333 
334 	case '%':	/* named register */
335 		ret = regs_query_register_offset(arg + 1);
336 		if (ret >= 0) {
337 			code->op = FETCH_OP_REG;
338 			code->param = (unsigned int)ret;
339 			ret = 0;
340 		} else
341 			trace_probe_log_err(offs, BAD_REG_NAME);
342 		break;
343 
344 	case '@':	/* memory, file-offset or symbol */
345 		if (isdigit(arg[1])) {
346 			ret = kstrtoul(arg + 1, 0, &param);
347 			if (ret) {
348 				trace_probe_log_err(offs, BAD_MEM_ADDR);
349 				break;
350 			}
351 			/* load address */
352 			code->op = FETCH_OP_IMM;
353 			code->immediate = param;
354 		} else if (arg[1] == '+') {
355 			/* kprobes don't support file offsets */
356 			if (flags & TPARG_FL_KERNEL) {
357 				trace_probe_log_err(offs, FILE_ON_KPROBE);
358 				return -EINVAL;
359 			}
360 			ret = kstrtol(arg + 2, 0, &offset);
361 			if (ret) {
362 				trace_probe_log_err(offs, BAD_FILE_OFFS);
363 				break;
364 			}
365 
366 			code->op = FETCH_OP_FOFFS;
367 			code->immediate = (unsigned long)offset;  // imm64?
368 		} else {
369 			/* uprobes don't support symbols */
370 			if (!(flags & TPARG_FL_KERNEL)) {
371 				trace_probe_log_err(offs, SYM_ON_UPROBE);
372 				return -EINVAL;
373 			}
374 			/* Preserve symbol for updating */
375 			code->op = FETCH_NOP_SYMBOL;
376 			code->data = kstrdup(arg + 1, GFP_KERNEL);
377 			if (!code->data)
378 				return -ENOMEM;
379 			if (++code == end) {
380 				trace_probe_log_err(offs, TOO_MANY_OPS);
381 				return -EINVAL;
382 			}
383 			code->op = FETCH_OP_IMM;
384 			code->immediate = 0;
385 		}
386 		/* These are fetching from memory */
387 		if (++code == end) {
388 			trace_probe_log_err(offs, TOO_MANY_OPS);
389 			return -EINVAL;
390 		}
391 		*pcode = code;
392 		code->op = FETCH_OP_DEREF;
393 		code->offset = offset;
394 		break;
395 
396 	case '+':	/* deref memory */
397 		arg++;	/* Skip '+', because kstrtol() rejects it. */
398 		/* fall through */
399 	case '-':
400 		tmp = strchr(arg, '(');
401 		if (!tmp) {
402 			trace_probe_log_err(offs, DEREF_NEED_BRACE);
403 			return -EINVAL;
404 		}
405 		*tmp = '\0';
406 		ret = kstrtol(arg, 0, &offset);
407 		if (ret) {
408 			trace_probe_log_err(offs, BAD_DEREF_OFFS);
409 			break;
410 		}
411 		offs += (tmp + 1 - arg) + (arg[0] != '-' ? 1 : 0);
412 		arg = tmp + 1;
413 		tmp = strrchr(arg, ')');
414 		if (!tmp) {
415 			trace_probe_log_err(offs + strlen(arg),
416 					    DEREF_OPEN_BRACE);
417 			return -EINVAL;
418 		} else {
419 			const struct fetch_type *t2 = find_fetch_type(NULL);
420 
421 			*tmp = '\0';
422 			ret = parse_probe_arg(arg, t2, &code, end, flags, offs);
423 			if (ret)
424 				break;
425 			if (code->op == FETCH_OP_COMM) {
426 				trace_probe_log_err(offs, COMM_CANT_DEREF);
427 				return -EINVAL;
428 			}
429 			if (++code == end) {
430 				trace_probe_log_err(offs, TOO_MANY_OPS);
431 				return -EINVAL;
432 			}
433 			*pcode = code;
434 
435 			code->op = FETCH_OP_DEREF;
436 			code->offset = offset;
437 		}
438 		break;
439 	}
440 	if (!ret && code->op == FETCH_OP_NOP) {
441 		/* Parsed, but do not find fetch method */
442 		trace_probe_log_err(offs, BAD_FETCH_ARG);
443 		ret = -EINVAL;
444 	}
445 	return ret;
446 }
447 
448 #define BYTES_TO_BITS(nb)	((BITS_PER_LONG * (nb)) / sizeof(long))
449 
450 /* Bitfield type needs to be parsed into a fetch function */
451 static int __parse_bitfield_probe_arg(const char *bf,
452 				      const struct fetch_type *t,
453 				      struct fetch_insn **pcode)
454 {
455 	struct fetch_insn *code = *pcode;
456 	unsigned long bw, bo;
457 	char *tail;
458 
459 	if (*bf != 'b')
460 		return 0;
461 
462 	bw = simple_strtoul(bf + 1, &tail, 0);	/* Use simple one */
463 
464 	if (bw == 0 || *tail != '@')
465 		return -EINVAL;
466 
467 	bf = tail + 1;
468 	bo = simple_strtoul(bf, &tail, 0);
469 
470 	if (tail == bf || *tail != '/')
471 		return -EINVAL;
472 	code++;
473 	if (code->op != FETCH_OP_NOP)
474 		return -EINVAL;
475 	*pcode = code;
476 
477 	code->op = FETCH_OP_MOD_BF;
478 	code->lshift = BYTES_TO_BITS(t->size) - (bw + bo);
479 	code->rshift = BYTES_TO_BITS(t->size) - bw;
480 	code->basesize = t->size;
481 
482 	return (BYTES_TO_BITS(t->size) < (bw + bo)) ? -EINVAL : 0;
483 }
484 
485 /* String length checking wrapper */
486 static int traceprobe_parse_probe_arg_body(char *arg, ssize_t *size,
487 		struct probe_arg *parg, unsigned int flags, int offset)
488 {
489 	struct fetch_insn *code, *scode, *tmp = NULL;
490 	char *t, *t2, *t3;
491 	int ret, len;
492 
493 	len = strlen(arg);
494 	if (len > MAX_ARGSTR_LEN) {
495 		trace_probe_log_err(offset, ARG_TOO_LONG);
496 		return -EINVAL;
497 	} else if (len == 0) {
498 		trace_probe_log_err(offset, NO_ARG_BODY);
499 		return -EINVAL;
500 	}
501 
502 	parg->comm = kstrdup(arg, GFP_KERNEL);
503 	if (!parg->comm)
504 		return -ENOMEM;
505 
506 	t = strchr(arg, ':');
507 	if (t) {
508 		*t = '\0';
509 		t2 = strchr(++t, '[');
510 		if (t2) {
511 			*t2++ = '\0';
512 			t3 = strchr(t2, ']');
513 			if (!t3) {
514 				offset += t2 + strlen(t2) - arg;
515 				trace_probe_log_err(offset,
516 						    ARRAY_NO_CLOSE);
517 				return -EINVAL;
518 			} else if (t3[1] != '\0') {
519 				trace_probe_log_err(offset + t3 + 1 - arg,
520 						    BAD_ARRAY_SUFFIX);
521 				return -EINVAL;
522 			}
523 			*t3 = '\0';
524 			if (kstrtouint(t2, 0, &parg->count) || !parg->count) {
525 				trace_probe_log_err(offset + t2 - arg,
526 						    BAD_ARRAY_NUM);
527 				return -EINVAL;
528 			}
529 			if (parg->count > MAX_ARRAY_LEN) {
530 				trace_probe_log_err(offset + t2 - arg,
531 						    ARRAY_TOO_BIG);
532 				return -EINVAL;
533 			}
534 		}
535 	}
536 
537 	/* Since $comm can not be dereferred, we can find $comm by strcmp */
538 	if (strcmp(arg, "$comm") == 0) {
539 		/* The type of $comm must be "string", and not an array. */
540 		if (parg->count || (t && strcmp(t, "string")))
541 			return -EINVAL;
542 		parg->type = find_fetch_type("string");
543 	} else
544 		parg->type = find_fetch_type(t);
545 	if (!parg->type) {
546 		trace_probe_log_err(offset + (t ? (t - arg) : 0), BAD_TYPE);
547 		return -EINVAL;
548 	}
549 	parg->offset = *size;
550 	*size += parg->type->size * (parg->count ?: 1);
551 
552 	if (parg->count) {
553 		len = strlen(parg->type->fmttype) + 6;
554 		parg->fmt = kmalloc(len, GFP_KERNEL);
555 		if (!parg->fmt)
556 			return -ENOMEM;
557 		snprintf(parg->fmt, len, "%s[%d]", parg->type->fmttype,
558 			 parg->count);
559 	}
560 
561 	code = tmp = kcalloc(FETCH_INSN_MAX, sizeof(*code), GFP_KERNEL);
562 	if (!code)
563 		return -ENOMEM;
564 	code[FETCH_INSN_MAX - 1].op = FETCH_OP_END;
565 
566 	ret = parse_probe_arg(arg, parg->type, &code, &code[FETCH_INSN_MAX - 1],
567 			      flags, offset);
568 	if (ret)
569 		goto fail;
570 
571 	/* Store operation */
572 	if (!strcmp(parg->type->name, "string")) {
573 		if (code->op != FETCH_OP_DEREF && code->op != FETCH_OP_IMM &&
574 		    code->op != FETCH_OP_COMM) {
575 			trace_probe_log_err(offset + (t ? (t - arg) : 0),
576 					    BAD_STRING);
577 			ret = -EINVAL;
578 			goto fail;
579 		}
580 		if (code->op != FETCH_OP_DEREF || parg->count) {
581 			/*
582 			 * IMM and COMM is pointing actual address, those must
583 			 * be kept, and if parg->count != 0, this is an array
584 			 * of string pointers instead of string address itself.
585 			 */
586 			code++;
587 			if (code->op != FETCH_OP_NOP) {
588 				trace_probe_log_err(offset, TOO_MANY_OPS);
589 				ret = -EINVAL;
590 				goto fail;
591 			}
592 		}
593 		code->op = FETCH_OP_ST_STRING;	/* In DEREF case, replace it */
594 		code->size = parg->type->size;
595 		parg->dynamic = true;
596 	} else if (code->op == FETCH_OP_DEREF) {
597 		code->op = FETCH_OP_ST_MEM;
598 		code->size = parg->type->size;
599 	} else {
600 		code++;
601 		if (code->op != FETCH_OP_NOP) {
602 			trace_probe_log_err(offset, TOO_MANY_OPS);
603 			ret = -EINVAL;
604 			goto fail;
605 		}
606 		code->op = FETCH_OP_ST_RAW;
607 		code->size = parg->type->size;
608 	}
609 	scode = code;
610 	/* Modify operation */
611 	if (t != NULL) {
612 		ret = __parse_bitfield_probe_arg(t, parg->type, &code);
613 		if (ret) {
614 			trace_probe_log_err(offset + t - arg, BAD_BITFIELD);
615 			goto fail;
616 		}
617 	}
618 	/* Loop(Array) operation */
619 	if (parg->count) {
620 		if (scode->op != FETCH_OP_ST_MEM &&
621 		    scode->op != FETCH_OP_ST_STRING) {
622 			trace_probe_log_err(offset + (t ? (t - arg) : 0),
623 					    BAD_STRING);
624 			ret = -EINVAL;
625 			goto fail;
626 		}
627 		code++;
628 		if (code->op != FETCH_OP_NOP) {
629 			trace_probe_log_err(offset, TOO_MANY_OPS);
630 			ret = -EINVAL;
631 			goto fail;
632 		}
633 		code->op = FETCH_OP_LP_ARRAY;
634 		code->param = parg->count;
635 	}
636 	code++;
637 	code->op = FETCH_OP_END;
638 
639 	/* Shrink down the code buffer */
640 	parg->code = kcalloc(code - tmp + 1, sizeof(*code), GFP_KERNEL);
641 	if (!parg->code)
642 		ret = -ENOMEM;
643 	else
644 		memcpy(parg->code, tmp, sizeof(*code) * (code - tmp + 1));
645 
646 fail:
647 	if (ret) {
648 		for (code = tmp; code < tmp + FETCH_INSN_MAX; code++)
649 			if (code->op == FETCH_NOP_SYMBOL)
650 				kfree(code->data);
651 	}
652 	kfree(tmp);
653 
654 	return ret;
655 }
656 
657 /* Return 1 if name is reserved or already used by another argument */
658 static int traceprobe_conflict_field_name(const char *name,
659 					  struct probe_arg *args, int narg)
660 {
661 	int i;
662 
663 	for (i = 0; i < ARRAY_SIZE(reserved_field_names); i++)
664 		if (strcmp(reserved_field_names[i], name) == 0)
665 			return 1;
666 
667 	for (i = 0; i < narg; i++)
668 		if (strcmp(args[i].name, name) == 0)
669 			return 1;
670 
671 	return 0;
672 }
673 
674 int traceprobe_parse_probe_arg(struct trace_probe *tp, int i, char *arg,
675 				unsigned int flags)
676 {
677 	struct probe_arg *parg = &tp->args[i];
678 	char *body;
679 
680 	/* Increment count for freeing args in error case */
681 	tp->nr_args++;
682 
683 	body = strchr(arg, '=');
684 	if (body) {
685 		if (body - arg > MAX_ARG_NAME_LEN) {
686 			trace_probe_log_err(0, ARG_NAME_TOO_LONG);
687 			return -EINVAL;
688 		} else if (body == arg) {
689 			trace_probe_log_err(0, NO_ARG_NAME);
690 			return -EINVAL;
691 		}
692 		parg->name = kmemdup_nul(arg, body - arg, GFP_KERNEL);
693 		body++;
694 	} else {
695 		/* If argument name is omitted, set "argN" */
696 		parg->name = kasprintf(GFP_KERNEL, "arg%d", i + 1);
697 		body = arg;
698 	}
699 	if (!parg->name)
700 		return -ENOMEM;
701 
702 	if (!is_good_name(parg->name)) {
703 		trace_probe_log_err(0, BAD_ARG_NAME);
704 		return -EINVAL;
705 	}
706 	if (traceprobe_conflict_field_name(parg->name, tp->args, i)) {
707 		trace_probe_log_err(0, USED_ARG_NAME);
708 		return -EINVAL;
709 	}
710 	/* Parse fetch argument */
711 	return traceprobe_parse_probe_arg_body(body, &tp->size, parg, flags,
712 					       body - arg);
713 }
714 
715 void traceprobe_free_probe_arg(struct probe_arg *arg)
716 {
717 	struct fetch_insn *code = arg->code;
718 
719 	while (code && code->op != FETCH_OP_END) {
720 		if (code->op == FETCH_NOP_SYMBOL)
721 			kfree(code->data);
722 		code++;
723 	}
724 	kfree(arg->code);
725 	kfree(arg->name);
726 	kfree(arg->comm);
727 	kfree(arg->fmt);
728 }
729 
730 int traceprobe_update_arg(struct probe_arg *arg)
731 {
732 	struct fetch_insn *code = arg->code;
733 	long offset;
734 	char *tmp;
735 	char c;
736 	int ret = 0;
737 
738 	while (code && code->op != FETCH_OP_END) {
739 		if (code->op == FETCH_NOP_SYMBOL) {
740 			if (code[1].op != FETCH_OP_IMM)
741 				return -EINVAL;
742 
743 			tmp = strpbrk(code->data, "+-");
744 			if (tmp)
745 				c = *tmp;
746 			ret = traceprobe_split_symbol_offset(code->data,
747 							     &offset);
748 			if (ret)
749 				return ret;
750 
751 			code[1].immediate =
752 				(unsigned long)kallsyms_lookup_name(code->data);
753 			if (tmp)
754 				*tmp = c;
755 			if (!code[1].immediate)
756 				return -ENOENT;
757 			code[1].immediate += offset;
758 		}
759 		code++;
760 	}
761 	return 0;
762 }
763 
764 /* When len=0, we just calculate the needed length */
765 #define LEN_OR_ZERO (len ? len - pos : 0)
766 static int __set_print_fmt(struct trace_probe *tp, char *buf, int len,
767 			   bool is_return)
768 {
769 	struct probe_arg *parg;
770 	int i, j;
771 	int pos = 0;
772 	const char *fmt, *arg;
773 
774 	if (!is_return) {
775 		fmt = "(%lx)";
776 		arg = "REC->" FIELD_STRING_IP;
777 	} else {
778 		fmt = "(%lx <- %lx)";
779 		arg = "REC->" FIELD_STRING_FUNC ", REC->" FIELD_STRING_RETIP;
780 	}
781 
782 	pos += snprintf(buf + pos, LEN_OR_ZERO, "\"%s", fmt);
783 
784 	for (i = 0; i < tp->nr_args; i++) {
785 		parg = tp->args + i;
786 		pos += snprintf(buf + pos, LEN_OR_ZERO, " %s=", parg->name);
787 		if (parg->count) {
788 			pos += snprintf(buf + pos, LEN_OR_ZERO, "{%s",
789 					parg->type->fmt);
790 			for (j = 1; j < parg->count; j++)
791 				pos += snprintf(buf + pos, LEN_OR_ZERO, ",%s",
792 						parg->type->fmt);
793 			pos += snprintf(buf + pos, LEN_OR_ZERO, "}");
794 		} else
795 			pos += snprintf(buf + pos, LEN_OR_ZERO, "%s",
796 					parg->type->fmt);
797 	}
798 
799 	pos += snprintf(buf + pos, LEN_OR_ZERO, "\", %s", arg);
800 
801 	for (i = 0; i < tp->nr_args; i++) {
802 		parg = tp->args + i;
803 		if (parg->count) {
804 			if (strcmp(parg->type->name, "string") == 0)
805 				fmt = ", __get_str(%s[%d])";
806 			else
807 				fmt = ", REC->%s[%d]";
808 			for (j = 0; j < parg->count; j++)
809 				pos += snprintf(buf + pos, LEN_OR_ZERO,
810 						fmt, parg->name, j);
811 		} else {
812 			if (strcmp(parg->type->name, "string") == 0)
813 				fmt = ", __get_str(%s)";
814 			else
815 				fmt = ", REC->%s";
816 			pos += snprintf(buf + pos, LEN_OR_ZERO,
817 					fmt, parg->name);
818 		}
819 	}
820 
821 	/* return the length of print_fmt */
822 	return pos;
823 }
824 #undef LEN_OR_ZERO
825 
826 int traceprobe_set_print_fmt(struct trace_probe *tp, bool is_return)
827 {
828 	int len;
829 	char *print_fmt;
830 
831 	/* First: called with 0 length to calculate the needed length */
832 	len = __set_print_fmt(tp, NULL, 0, is_return);
833 	print_fmt = kmalloc(len + 1, GFP_KERNEL);
834 	if (!print_fmt)
835 		return -ENOMEM;
836 
837 	/* Second: actually write the @print_fmt */
838 	__set_print_fmt(tp, print_fmt, len + 1, is_return);
839 	tp->call.print_fmt = print_fmt;
840 
841 	return 0;
842 }
843 
844 int traceprobe_define_arg_fields(struct trace_event_call *event_call,
845 				 size_t offset, struct trace_probe *tp)
846 {
847 	int ret, i;
848 
849 	/* Set argument names as fields */
850 	for (i = 0; i < tp->nr_args; i++) {
851 		struct probe_arg *parg = &tp->args[i];
852 		const char *fmt = parg->type->fmttype;
853 		int size = parg->type->size;
854 
855 		if (parg->fmt)
856 			fmt = parg->fmt;
857 		if (parg->count)
858 			size *= parg->count;
859 		ret = trace_define_field(event_call, fmt, parg->name,
860 					 offset + parg->offset, size,
861 					 parg->type->is_signed,
862 					 FILTER_OTHER);
863 		if (ret)
864 			return ret;
865 	}
866 	return 0;
867 }
868