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

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

struct callback_ctx {
	int dummy;
};

static long write_task(struct task_struct *task, struct vm_area_struct *vma,
		       struct callback_ctx *data)
{
	/* writing to task, which is illegal */
	task->mm = NULL;

	return 0;
}

SEC("raw_tp/sys_enter")
int handle_getpid(void)
{
	struct task_struct *task = bpf_get_current_task_btf();
	struct callback_ctx data = {};

	bpf_find_vma(task, 0, write_task, &data, 0);
	return 0;
}