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 Crocevoid 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