// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2021 Facebook */

#include "vmlinux.h"
#include <bpf/bpf_helpers.h>
#include <bpf/bpf_tracing.h>
#include "bpf_misc.h"

char _license[] SEC("license") = "GPL";

int null_data_vprintk_ret = 0;
int trace_vprintk_ret = 0;
int trace_vprintk_ran = 0;

SEC("fentry/" SYS_PREFIX "sys_nanosleep")
int sys_enter(void *ctx)
{
 static const char one[] = "1";
 static const char three[] = "3";
 static const char five[] = "5";
 static const char seven[] = "7";
 static const char nine[] = "9";
 static const char f[] = "%pS\n";

 /* runner doesn't search for \t, just ensure it compiles */
 bpf_printk("\t");

 trace_vprintk_ret = __bpf_vprintk("%s,%d,%s,%d,%s,%d,%s,%d,%s,%d %d\n",
  one, 2, three, 4, five, 6, seven, 8, nine, 10, ++trace_vprintk_ran);

 /* non-NULL fmt w/ NULL data should result in error */
 null_data_vprintk_ret = bpf_trace_vprintk(f, sizeof(f), NULL, 0);
 return 0;
}