1/* option `KERNHIST_PRINT' not defined */
2#ifdef _LOCORE
3 .ifndef _KERNEL_OPT_KERNHIST_PRINT
4 .global _KERNEL_OPT_KERNHIST_PRINT
5 .equiv _KERNEL_OPT_KERNHIST_PRINT,0x6e074def
6 .endif
7#else
8__asm(" .ifndef _KERNEL_OPT_KERNHIST_PRINT\n .global _KERNEL_OPT_KERNHIST_PRINT\n .equiv _KERNEL_OPT_KERNHIST_PRINT,0x6e074def\n .endif");
9#endif
10/* option `KERNHIST' not defined */
11#ifdef _LOCORE
12 .ifndef _KERNEL_OPT_KERNHIST
13 .global _KERNEL_OPT_KERNHIST
14 .equiv _KERNEL_OPT_KERNHIST,0x6e074def
15 .endif
16#else
17__asm(" .ifndef _KERNEL_OPT_KERNHIST\n .global _KERNEL_OPT_KERNHIST\n .equiv _KERNEL_OPT_KERNHIST,0x6e074def\n .endif");
18#endif
19/* option `KERNHIST_DELAY' not defined */
20#ifdef _LOCORE
21 .ifndef _KERNEL_OPT_KERNHIST_DELAY
22 .global _KERNEL_OPT_KERNHIST_DELAY
23 .equiv _KERNEL_OPT_KERNHIST_DELAY,0x6e074def
24 .endif
25#else
26__asm(" .ifndef _KERNEL_OPT_KERNHIST_DELAY\n .global _KERNEL_OPT_KERNHIST_DELAY\n .equiv _KERNEL_OPT_KERNHIST_DELAY,0x6e074def\n .endif");
27#endif
28