1 // SPDX-License-Identifier: GPL-2.0
2 /* Copyright (c) 2021 Facebook */
3 
4 #include "test_progs.h"
5 #include "core_kern.lskel.h"
6 
7 void test_core_kern_lskel(void)
8 {
9 	struct core_kern_lskel *skel;
10 
11 	skel = core_kern_lskel__open_and_load();
12 	ASSERT_OK_PTR(skel, "open_and_load");
13 	core_kern_lskel__destroy(skel);
14 }
15