186 	gKernelArgs.arch_args.pgtables[gKernelArgs.arch_args.num_pgtables++] = (uint32)pageTable;
248 	gKernelArgs.arch_args.phys_pgroot = (uint32)gPageRoot;  in init_page_directory()
249 	gKernelArgs.arch_args.phys_vbr = (uint32)gPageRoot + VBR_PAGE_OFFSET;  in init_page_directory()
293 	gKernelArgs.arch_args.num_pgtables = 0;  in init_page_directory()
425 		gKernelArgs.arch_args.phys_idt = (uint32)idt;  in mmu_init_for_kernel()
430 		gKernelArgs.arch_args.vir_idt = (uint32)get_next_virtual_page();  in mmu_init_for_kernel()
431 		map_page(gKernelArgs.arch_args.vir_idt, (uint32)idt, kDefaultPageFlags);  in mmu_init_for_kernel()
434 		uint32* virtualIDT = (uint32*)gKernelArgs.arch_args.vir_idt;  in mmu_init_for_kernel()
441 		idtDescriptor.base = (uint32 *)gKernelArgs.arch_args.vir_idt;  in mmu_init_for_kernel()
446 		TRACE(("idt at virtual address 0x%lx\n", gKernelArgs.arch_args.vir_idt));  in mmu_init_for_kernel()
456 		gKernelArgs.arch_args.phys_gdt = (uint32)gdt;  in mmu_init_for_kernel()
461 		gKernelArgs.arch_args.vir_gdt = (uint32)get_next_virtual_page();  in mmu_init_for_kernel()
462 		map_page(gKernelArgs.arch_args.vir_gdt, (uint32)gdt, kDefaultPageFlags);  in mmu_init_for_kernel()
466 			= (segment_descriptor*)gKernelArgs.arch_args.vir_gdt;  in mmu_init_for_kernel()
490 		gdtDescriptor.base = (uint32 *)gKernelArgs.arch_args.vir_gdt;  in mmu_init_for_kernel()
495 		TRACE(("gdt at virtual address %p\n", (void *)gKernelArgs.arch_args.vir_gdt));  in mmu_init_for_kernel()
500 …gKernelArgs.physical_allocated_range[0].size = sNextPhysicalAddress - gKernelArgs.physical_allocat…  in mmu_init_for_kernel()
503 	gKernelArgs.virtual_allocated_range[0].start = KERNEL_LOAD_BASE;  in mmu_init_for_kernel()
504 	gKernelArgs.virtual_allocated_range[0].size = sNextVirtualAddress - KERNEL_LOAD_BASE;  in mmu_init_for_kernel()
505 	gKernelArgs.num_virtual_allocated_ranges = 1;  in mmu_init_for_kernel()
508 	sort_address_ranges(gKernelArgs.physical_memory_range,  in mmu_init_for_kernel()
509 		gKernelArgs.num_physical_memory_ranges);  in mmu_init_for_kernel()
510 	sort_address_ranges(gKernelArgs.physical_allocated_range,  in mmu_init_for_kernel()
511 		gKernelArgs.num_physical_allocated_ranges);  in mmu_init_for_kernel()
512 	sort_address_ranges(gKernelArgs.virtual_allocated_range,  in mmu_init_for_kernel()
513 		gKernelArgs.num_virtual_allocated_ranges);  in mmu_init_for_kernel()
520 		for (i = 0; i < gKernelArgs.num_physical_memory_ranges; i++) {  in mmu_init_for_kernel()
522 				gKernelArgs.physical_memory_range[i].start,  in mmu_init_for_kernel()
523 				gKernelArgs.physical_memory_range[i].size);  in mmu_init_for_kernel()
527 		for (i = 0; i < gKernelArgs.num_physical_allocated_ranges; i++) {  in mmu_init_for_kernel()
529 				gKernelArgs.physical_allocated_range[i].start,  in mmu_init_for_kernel()
530 				gKernelArgs.physical_allocated_range[i].size);  in mmu_init_for_kernel()
534 		for (i = 0; i < gKernelArgs.num_virtual_allocated_ranges; i++) {  in mmu_init_for_kernel()
536 				gKernelArgs.virtual_allocated_range[i].start,  in mmu_init_for_kernel()
537 				gKernelArgs.virtual_allocated_range[i].size);  in mmu_init_for_kernel()
548 	switch (gKernelArgs.arch_args.mmu_type) {  in mmu_init()
566 			panic("unknown mmu type %d\n", gKernelArgs.arch_args.mmu_type);  in mmu_init()
579 	gKernelArgs.physical_allocated_range[0].start = sNextPhysicalAddress;  in mmu_init()
580 	gKernelArgs.physical_allocated_range[0].size = 0;  in mmu_init()
581 	gKernelArgs.num_physical_allocated_ranges = 1;  in mmu_init()
602 	gKernelArgs.arch_args.vir_pgroot = get_next_virtual_page();  in mmu_init()
603 	map_page(gKernelArgs.arch_args.vir_pgroot, (uint32)gPageRoot, kDefaultPageFlags);  in mmu_init()
606 	gKernelArgs.arch_args.vir_vbr = gKernelArgs.arch_args.vir_pgroot  in mmu_init()
610 	gKernelArgs.cpu_kstack[0].start = (addr_t)mmu_allocate(NULL,  in mmu_init()
612 	gKernelArgs.cpu_kstack[0].size = KERNEL_STACK_SIZE  in mmu_init()
615 	TRACE(("kernel stack at 0x%lx to 0x%lx\n", gKernelArgs.cpu_kstack[0].start,  in mmu_init()
616 		gKernelArgs.cpu_kstack[0].start + gKernelArgs.cpu_kstack[0].size));  in mmu_init()
619 	gKernelArgs.physical_memory_range[0].start = ATARI_CHIPRAM_BASE;  in mmu_init()
620 	gKernelArgs.physical_memory_range[0].size = *TOSVARphystop - ATARI_CHIPRAM_BASE;  in mmu_init()
621 	gKernelArgs.num_physical_memory_ranges = 1;  in mmu_init()
625 		gKernelArgs.physical_memory_range[1].start =  in mmu_init()
627 		gKernelArgs.physical_memory_range[1].size =  in mmu_init()
629 		gKernelArgs.num_physical_memory_ranges++;  in mmu_init()
636 	gKernelArgs.physical_allocated_range[gKernelArgs.num_physical_allocated_ranges].start = video_base;  in mmu_init()
637 …gKernelArgs.physical_allocated_range[gKernelArgs.num_physical_allocated_ranges].size = *TOSVARphys…  in mmu_init()
638 	gKernelArgs.num_physical_allocated_ranges++;  in mmu_init()
641 	gKernelArgs.arch_args.plat_args.atari.nat_feat.nf_page =  in mmu_init()