// 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";