1/* option `USER_VA0_DISABLE_DEFAULT' not defined */
2#ifdef _LOCORE
3 .ifndef _KERNEL_OPT_USER_VA0_DISABLE_DEFAULT
4 .global _KERNEL_OPT_USER_VA0_DISABLE_DEFAULT
5 .equiv _KERNEL_OPT_USER_VA0_DISABLE_DEFAULT,0x6e074def
6 .endif
7#else
8__asm(" .ifndef _KERNEL_OPT_USER_VA0_DISABLE_DEFAULT\n .global _KERNEL_OPT_USER_VA0_DISABLE_DEFAULT\n .equiv _KERNEL_OPT_USER_VA0_DISABLE_DEFAULT,0x6e074def\n .endif");
9#endif
10