// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2021 Facebook */
#include "vmlinux.h"
#include <bpf/bpf_helpers.h>
#include <bpf/bpf_tracing.h>

int run_cnt = 0;

SEC("perf_event")
int handler(struct pt_regs *ctx)
{
	__sync_fetch_and_add(&run_cnt, 1);
	return 0;
}

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