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