// SPDX-License-Identifier: GPL-2.0-only
/* Copyright (c) 2025 Meta Platforms Inc. */

#include <linux/bpf.h>
#include <bpf/bpf_helpers.h>
#include "bpf_misc.h"

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

__noinline static void f0(void)
{
	__u64 a = 1;

	__sink(a);
}

SEC("xdp")
__u64 global_func(struct xdp_md *xdp)
{
	f0();
	return XDP_DROP;
}