1/* option `IPKDB' not defined */
2#ifdef _LOCORE
3 .ifndef _KERNEL_OPT_IPKDB
4 .global _KERNEL_OPT_IPKDB
5 .equiv _KERNEL_OPT_IPKDB,0x6e074def
6 .endif
7#else
8__asm(" .ifndef _KERNEL_OPT_IPKDB\n .global _KERNEL_OPT_IPKDB\n .equiv _KERNEL_OPT_IPKDB,0x6e074def\n .endif");
9#endif
10/* option `IPKDBSECURE' not defined */
11#ifdef _LOCORE
12 .ifndef _KERNEL_OPT_IPKDBSECURE
13 .global _KERNEL_OPT_IPKDBSECURE
14 .equiv _KERNEL_OPT_IPKDBSECURE,0x6e074def
15 .endif
16#else
17__asm(" .ifndef _KERNEL_OPT_IPKDBSECURE\n .global _KERNEL_OPT_IPKDBSECURE\n .equiv _KERNEL_OPT_IPKDBSECURE,0x6e074def\n .endif");
18#endif
19/* option `IPKDBKEY' not defined */
20#ifdef _LOCORE
21 .ifndef _KERNEL_OPT_IPKDBKEY
22 .global _KERNEL_OPT_IPKDBKEY
23 .equiv _KERNEL_OPT_IPKDBKEY,0x6e074def
24 .endif
25#else
26__asm(" .ifndef _KERNEL_OPT_IPKDBKEY\n .global _KERNEL_OPT_IPKDBKEY\n .equiv _KERNEL_OPT_IPKDBKEY,0x6e074def\n .endif");
27#endif
28/* option `IPKDB_DP8390' not defined */
29#ifdef _LOCORE
30 .ifndef _KERNEL_OPT_IPKDB_DP8390
31 .global _KERNEL_OPT_IPKDB_DP8390
32 .equiv _KERNEL_OPT_IPKDB_DP8390,0x6e074def
33 .endif
34#else
35__asm(" .ifndef _KERNEL_OPT_IPKDB_DP8390\n .global _KERNEL_OPT_IPKDB_DP8390\n .equiv _KERNEL_OPT_IPKDB_DP8390,0x6e074def\n .endif");
36#endif
37/* option `IPKDB_NE' not defined */
38#ifdef _LOCORE
39 .ifndef _KERNEL_OPT_IPKDB_NE
40 .global _KERNEL_OPT_IPKDB_NE
41 .equiv _KERNEL_OPT_IPKDB_NE,0x6e074def
42 .endif
43#else
44__asm(" .ifndef _KERNEL_OPT_IPKDB_NE\n .global _KERNEL_OPT_IPKDB_NE\n .equiv _KERNEL_OPT_IPKDB_NE,0x6e074def\n .endif");
45#endif
46/* option `IPKDB_NE_PCISLOT' not defined */
47#ifdef _LOCORE
48 .ifndef _KERNEL_OPT_IPKDB_NE_PCISLOT
49 .global _KERNEL_OPT_IPKDB_NE_PCISLOT
50 .equiv _KERNEL_OPT_IPKDB_NE_PCISLOT,0x6e074def
51 .endif
52#else
53__asm(" .ifndef _KERNEL_OPT_IPKDB_NE_PCISLOT\n .global _KERNEL_OPT_IPKDB_NE_PCISLOT\n .equiv _KERNEL_OPT_IPKDB_NE_PCISLOT,0x6e074def\n .endif");
54#endif
55/* option `IPKDB_NE_PCI' not defined */
56#ifdef _LOCORE
57 .ifndef _KERNEL_OPT_IPKDB_NE_PCI
58 .global _KERNEL_OPT_IPKDB_NE_PCI
59 .equiv _KERNEL_OPT_IPKDB_NE_PCI,0x6e074def
60 .endif
61#else
62__asm(" .ifndef _KERNEL_OPT_IPKDB_NE_PCI\n .global _KERNEL_OPT_IPKDB_NE_PCI\n .equiv _KERNEL_OPT_IPKDB_NE_PCI,0x6e074def\n .endif");
63#endif
64