1 // SPDX-License-Identifier: GPL-2.0
2 #include <bpf/libbpf.h>
3 
main(void)4 int main(void)
5 {
6 	bpf_object__next_map(NULL /* obj */, NULL /* prev */);
7 	return 0;
8 }
9