#include <linux/stddef.h> #include <linux/init.h> static __initdata char kdb_cmd0[] = …; static __initdata char kdb_cmd1[] = …; static __initdata char kdb_cmd2[] = …; static __initdata char kdb_cmd3[] = …; static __initdata char kdb_cmd4[] = …; static __initdata char kdb_cmd5[] = …; static __initdata char kdb_cmd6[] = …; static __initdata char kdb_cmd7[] = …; static __initdata char kdb_cmd8[] = …; static __initdata char kdb_cmd9[] = …; static __initdata char kdb_cmd10[] = …; static __initdata char kdb_cmd11[] = …; static __initdata char kdb_cmd12[] = …; static __initdata char kdb_cmd13[] = …; static __initdata char kdb_cmd14[] = …; static __initdata char kdb_cmd15[] = …; static __initdata char kdb_cmd16[] = …; static __initdata char kdb_cmd17[] = …; static __initdata char kdb_cmd18[] = …; extern char *kdb_cmds[]; char __initdata *kdb_cmds[] = …;