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

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

struct callback_ctx {
        int dummy;
};

#define VM_EXEC         0x00000004
#define DNAME_INLINE_LEN 32

pid_t target_pid = 0;
char d_iname[DNAME_INLINE_LEN] = {0};
__u32 found_vm_exec = 0;
__u64 addr = 0;
int find_zero_ret = -1;
int find_addr_ret = -1;

static long check_vma(struct task_struct *task, struct vm_area_struct *vma,
                      struct callback_ctx *data)
{
        if (vma->vm_file)
                bpf_probe_read_kernel_str(d_iname, DNAME_INLINE_LEN - 1,
                                          vma->vm_file->f_path.dentry->d_shortname.string);

        /* check for VM_EXEC */
        if (vma->vm_flags & VM_EXEC)
                found_vm_exec = 1;

        return 0;
}

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

        if (task->pid != target_pid)
                return 0;

        find_addr_ret = bpf_find_vma(task, addr, check_vma, &data, 0);

        /* this should return -ENOENT */
        find_zero_ret = bpf_find_vma(task, 0, check_vma, &data, 0);
        return 0;
}

SEC("perf_event")
int handle_pe(void)
{
        struct task_struct *task = bpf_get_current_task_btf();
        struct callback_ctx data = {};

        if (task->pid != target_pid)
                return 0;

        find_addr_ret = bpf_find_vma(task, addr, check_vma, &data, 0);

        /* In NMI, this should return -EBUSY, as the previous call is using
         * the irq_work.
         */
        find_zero_ret = bpf_find_vma(task, 0, check_vma, &data, 0);
        return 0;
}