arch_mmu_read_access
arch_mmu_read_access(kernelEntry));
if (arch_mmu_read_access(kernelEntry)
&& arch_mmu_read_access(gKernelArgs.cpu_kstack[0].start)) {