Lines Matching refs:arch_args
213 if (gKernelArgs.arch_args.num_virtual_ranges_to_keep in MapAddrRange()
217 gKernelArgs.arch_args.virtual_ranges_to_keep[ in MapAddrRange()
218 gKernelArgs.arch_args.num_virtual_ranges_to_keep++] = range; in MapAddrRange()
251 gKernelArgs.arch_args.physMap.size in SetupPageTable()
253 gKernelArgs.arch_args.physMap.start = KERNEL_TOP + 1 in SetupPageTable()
254 - gKernelArgs.arch_args.physMap.size; in SetupPageTable()
255 MapRange(gKernelArgs.arch_args.physMap.start, in SetupPageTable()
257 gKernelArgs.arch_args.physMap.size, in SetupPageTable()
276 MapAddrRange(gKernelArgs.arch_args.clint, Pte {.isRead = true, .isWrite = true}.val); in SetupPageTable()
277 MapAddrRange(gKernelArgs.arch_args.htif, Pte {.isRead = true, .isWrite = true}.val); in SetupPageTable()
278 MapAddrRange(gKernelArgs.arch_args.plic, Pte {.isRead = true, .isWrite = true}.val); in SetupPageTable()
279 if (strcmp(gKernelArgs.arch_args.uart.kind, "") != 0) { in SetupPageTable()
280 MapAddrRange(gKernelArgs.arch_args.uart.regs, in SetupPageTable()
433 gKernelArgs.arch_args.num_virtual_ranges_to_keep = 0; in mmu_init_for_kernel()