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