// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2026 Meta Platforms, Inc. and affiliates. */
#include <test_progs.h>
#include "timer_start_deadlock.skel.h"

void test_timer_start_deadlock(void)
{
	struct timer_start_deadlock *skel;
	int err, prog_fd;
	LIBBPF_OPTS(bpf_test_run_opts, opts);

	skel = timer_start_deadlock__open_and_load();
	if (!ASSERT_OK_PTR(skel, "skel_open_and_load"))
		return;

	err = timer_start_deadlock__attach(skel);
	if (!ASSERT_OK(err, "skel_attach"))
		goto cleanup;

	prog_fd = bpf_program__fd(skel->progs.start_timer);

	/*
	 * Run the syscall program that attempts to deadlock.
	 * If the kernel deadlocks, this call will never return.
	 */
	err = bpf_prog_test_run_opts(prog_fd, &opts);
	ASSERT_OK(err, "prog_test_run");
	ASSERT_EQ(opts.retval, 0, "prog_retval");

	ASSERT_EQ(skel->bss->tp_called, 1, "tp_called");
cleanup:
	timer_start_deadlock__destroy(skel);
}