1/* option `WSFB_FAKE_VGA_FB' not defined */
2#ifdef _LOCORE
3 .ifndef _KERNEL_OPT_WSFB_FAKE_VGA_FB
4 .global _KERNEL_OPT_WSFB_FAKE_VGA_FB
5 .equiv _KERNEL_OPT_WSFB_FAKE_VGA_FB,0x6e074def
6 .endif
7#else
8__asm(" .ifndef _KERNEL_OPT_WSFB_FAKE_VGA_FB\n .global _KERNEL_OPT_WSFB_FAKE_VGA_FB\n .equiv _KERNEL_OPT_WSFB_FAKE_VGA_FB,0x6e074def\n .endif");
9#endif
10/* option `WSFB_ALLOW_OTHERS' not defined */
11#ifdef _LOCORE
12 .ifndef _KERNEL_OPT_WSFB_ALLOW_OTHERS
13 .global _KERNEL_OPT_WSFB_ALLOW_OTHERS
14 .equiv _KERNEL_OPT_WSFB_ALLOW_OTHERS,0x6e074def
15 .endif
16#else
17__asm(" .ifndef _KERNEL_OPT_WSFB_ALLOW_OTHERS\n .global _KERNEL_OPT_WSFB_ALLOW_OTHERS\n .equiv _KERNEL_OPT_WSFB_ALLOW_OTHERS,0x6e074def\n .endif");
18#endif
19