1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (c) 2019 Facebook
6 #include <bpf/bpf_helpers.h>
8 char _license[] SEC("license") = "GPL";
11 __uint(type, BPF_MAP_TYPE_ARRAY);
12 __uint(map_flags, BPF_F_MMAPABLE | BPF_F_RDONLY_PROG);
15 } rdonly_map SEC(".maps");
18 __uint(type, BPF_MAP_TYPE_ARRAY);
19 __uint(map_flags, BPF_F_MMAPABLE);
22 } data_map SEC(".maps");
27 SEC("raw_tracepoint/sys_enter")
28 int test_mmap(void *ctx)
30 int zero = 0, one = 1, two = 2, far = 1500;
35 /* data_map[2] = in_val; */
36 bpf_map_update_elem(&data_map, &two, (const void *)&in_val, 0);
38 /* data_map[1] = data_map[0] * 2; */
39 p = bpf_map_lookup_elem(&data_map, &zero);
42 bpf_map_update_elem(&data_map, &one, &val, 0);
45 /* data_map[far] = in_val * 3; */
47 bpf_map_update_elem(&data_map, &far, &val, 0);