1*13cc6b78SYonghong Song // SPDX-License-Identifier: GPL-2.0 2*13cc6b78SYonghong Song /* Copyright (c) 2026 Meta Platforms, Inc. and affiliates. */ 3*13cc6b78SYonghong Song #include <vmlinux.h> 4*13cc6b78SYonghong Song #include <bpf/bpf_tracing.h> 5*13cc6b78SYonghong Song #include <bpf/bpf_helpers.h> 6*13cc6b78SYonghong Song 7*13cc6b78SYonghong Song long t_b, t_c, t_ret; 8*13cc6b78SYonghong Song 9*13cc6b78SYonghong Song SEC("fexit/bpf_testmod_test_int128_arg") test_int128_arg_fexit(unsigned long long * ctx)10*13cc6b78SYonghong Songint test_int128_arg_fexit(unsigned long long *ctx) 11*13cc6b78SYonghong Song { 12*13cc6b78SYonghong Song t_b = (int)ctx[2]; 13*13cc6b78SYonghong Song t_c = (long)ctx[3]; 14*13cc6b78SYonghong Song t_ret = (long)ctx[4]; 15*13cc6b78SYonghong Song return 0; 16*13cc6b78SYonghong Song } 17*13cc6b78SYonghong Song 18*13cc6b78SYonghong Song char _license[] SEC("license") = "GPL"; 19