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

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

__u32 map1_id = 0, map2_id = 0;
__u32 map1_accessed = 0, map2_accessed = 0;
__u64 map1_seqnum = 0, map2_seqnum1 = 0, map2_seqnum2 = 0;

volatile const __u32 print_len;
volatile const __u32 ret1;

SEC("iter/bpf_map")
int dump_bpf_map(struct bpf_iter__bpf_map *ctx)
{
        struct seq_file *seq = ctx->meta->seq;
        struct bpf_map *map = ctx->map;
        __u64 seq_num;
        int i, ret = 0;

        if (map == (void *)0)
                return 0;

        /* only dump map1_id and map2_id */
        if (map->id != map1_id && map->id != map2_id)
                return 0;

        seq_num = ctx->meta->seq_num;
        if (map->id == map1_id) {
                map1_seqnum = seq_num;
                map1_accessed++;
        }

        if (map->id == map2_id) {
                if (map2_accessed == 0) {
                        map2_seqnum1 = seq_num;
                        if (ret1)
                                ret = 1;
                } else {
                        map2_seqnum2 = seq_num;
                }
                map2_accessed++;
        }

        /* fill seq_file buffer */
        for (i = 0; i < (int)print_len; i++)
                bpf_seq_write(seq, &seq_num, sizeof(seq_num));

        return ret;
}