1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * This file exists solely to ensure debug information for some core
4  * data structures is included in the final image even for
5  * CONFIG_DEBUG_INFO_REDUCED. Please do not add actual code. However,
6  * adding appropriate #includes is fine.
7  */
8 #include <stdarg.h>
9 
10 #include <linux/cred.h>
11 #include <linux/crypto.h>
12 #include <linux/dcache.h>
13 #include <linux/device.h>
14 #include <linux/fs.h>
15 #include <linux/fscache-cache.h>
16 #include <linux/io.h>
17 #include <linux/kallsyms.h>
18 #include <linux/kernel.h>
19 #include <linux/kobject.h>
20 #include <linux/mm.h>
21 #include <linux/module.h>
22 #include <linux/net.h>
23 #include <linux/sched.h>
24 #include <linux/slab.h>
25 #include <linux/types.h>
26 #include <net/addrconf.h>
27 #include <net/sock.h>
28 #include <net/tcp.h>
29