1 // SPDX-License-Identifier: GPL-2.0
2 
3 #include "test_progs.h"
4 #include "core_kern_overflow.lskel.h"
5 
6 void test_core_kern_overflow_lskel(void)
7 {
8 	struct core_kern_overflow_lskel *skel;
9 
10 	skel = core_kern_overflow_lskel__open_and_load();
11 	if (!ASSERT_NULL(skel, "open_and_load"))
12 		core_kern_overflow_lskel__destroy(skel);
13 }
14