// SPDX-License-Identifier: GPL-2.0

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

struct map_elem {
	struct bpf_timer timer;
	struct bpf_spin_lock lock;
};

struct {
	__uint(type, BPF_MAP_TYPE_ARRAY);
	__uint(max_entries, 1);
	__type(key, int);
	__type(value, struct map_elem);
} amap SEC(".maps");

struct {
	__uint(type, BPF_MAP_TYPE_HASH);
	__uint(max_entries, 1);
	__type(key, int);
	__type(value, struct map_elem);
} hmap SEC(".maps");

int pid = 0;
int crash_map = 0; /* 0 for amap, 1 for hmap */

SEC("fentry/do_nanosleep")
int sys_enter(void *ctx)
{
	struct map_elem *e, value = {};
	void *map = crash_map ? (void *)&hmap : (void *)&amap;

	if (bpf_get_current_task_btf()->tgid != pid)
		return 0;

	*(void **)&value = (void *)0xdeadcaf3;

	bpf_map_update_elem(map, &(int){0}, &value, 0);
	/* For array map, doing bpf_map_update_elem will do a
	 * check_and_free_timer_in_array, which will trigger the crash if timer
	 * pointer was overwritten, for hmap we need to use bpf_timer_cancel.
	 */
	if (crash_map == 1) {
		e = bpf_map_lookup_elem(map, &(int){0});
		if (!e)
			return 0;
		bpf_timer_cancel(&e->timer);
	}
	return 0;
}

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