1// SPDX-License-Identifier: GPL-2.0
2// Copyright (c) 2020, Oracle and/or its affiliates.
3
4#include "vmlinux.h"
5#include <bpf/bpf_helpers.h>
6#include <bpf/bpf_tracing.h>
7
8char _license[] SEC("license") = "GPL";
9
10int trace_printk_ret = 0;
11int trace_printk_ran = 0;
12
13SEC("tp/raw_syscalls/sys_enter")
14int sys_enter(void *ctx)
15{
16	static const char fmt[] = "testing,testing %d\n";
17
18	trace_printk_ret = bpf_trace_printk(fmt, sizeof(fmt),
19					    ++trace_printk_ran);
20	return 0;
21}
22