x8000 35 arch/arm/kernel/head.S #if (KERNEL_RAM_VADDR & 0xffff) != 0x8000 x8000 40 arch/unicore32/kernel/head.S #if (KERNEL_RAM_VADDR & 0xffff) != 0x8000