// SPDX-License-Identifier: GPL-2.0

#include <vmlinux.h>
#include <bpf/bpf_helpers.h>
#include "bpf_misc.h"

SEC("fentry/bpf_fentry_test1")
__success __retval(0)
__arch_x86_64
__jited("       addq    %gs:{{.*}}, %rax")
__arch_arm64
__jited("       mrs     x8, SP_EL0")
__arch_riscv64
__jited("       mv      a5, tp")
__arch_loongarch
__jited("       move    $a5, $tp")
int inline_bpf_get_current_task(void)
{
        bpf_get_current_task();

        return 0;
}

SEC("fentry/bpf_fentry_test2")
__success __retval(0)
__arch_loongarch
__jited("       ld.wu   $a5, $tp, 16")
int inline_bpf_get_smp_processor_id(void)
{
        bpf_get_smp_processor_id();

        return 0;
}

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