// SPDX-License-Identifier: GPL-2.0 #include <bpf/libbpf.h> int main(void) { bpf_object__next_map(NULL /* obj */, NULL /* prev */); return 0; }