// SPDX-License-Identifier: GPL-2.0
/*
 * Copyright 2026 Google LLC.
 */

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

#include "bpf_misc.h"
#include "../test_kmods/bpf_testmod_kfunc.h"

SEC("syscall")
__success __retval(0)
int test_default_trusted_ptr(void *ctx)
{
        struct prog_test_member *trusted_ptr;

        trusted_ptr = bpf_kfunc_get_default_trusted_ptr_test();
        /*
         * Test BPF kfunc bpf_get_default_trusted_ptr_test() returns a
         * PTR_TO_BTF_ID | PTR_TRUSTED, therefore it should be accepted when
         * passed to a BPF kfunc only accepting KF_TRUSTED_ARGS.
         */
        bpf_kfunc_put_default_trusted_ptr_test(trusted_ptr);
        return 0;
}

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