185 	gKernelArgs.arch_args.pgtables[gKernelArgs.arch_args.num_pgtables++] = (uint32)pageTable;
247 	gKernelArgs.arch_args.phys_pgroot = (uint32)gPageRoot;  in init_page_directory()
248 	gKernelArgs.arch_args.phys_vbr = (uint32)gPageRoot + VBR_PAGE_OFFSET;  in init_page_directory()
292 	gKernelArgs.arch_args.num_pgtables = 0;  in init_page_directory()
424 		gKernelArgs.arch_args.phys_idt = (uint32)idt;  in mmu_init_for_kernel()
429 		gKernelArgs.arch_args.vir_idt = (uint32)get_next_virtual_page();  in mmu_init_for_kernel()
430 		map_page(gKernelArgs.arch_args.vir_idt, (uint32)idt, kDefaultPageFlags);  in mmu_init_for_kernel()
433 		uint32* virtualIDT = (uint32*)gKernelArgs.arch_args.vir_idt;  in mmu_init_for_kernel()
440 		idtDescriptor.base = (uint32 *)gKernelArgs.arch_args.vir_idt;  in mmu_init_for_kernel()
445 		TRACE(("idt at virtual address 0x%lx\n", gKernelArgs.arch_args.vir_idt));  in mmu_init_for_kernel()
455 		gKernelArgs.arch_args.phys_gdt = (uint32)gdt;  in mmu_init_for_kernel()
460 		gKernelArgs.arch_args.vir_gdt = (uint32)get_next_virtual_page();  in mmu_init_for_kernel()
461 		map_page(gKernelArgs.arch_args.vir_gdt, (uint32)gdt, kDefaultPageFlags);  in mmu_init_for_kernel()
465 			= (segment_descriptor*)gKernelArgs.arch_args.vir_gdt;  in mmu_init_for_kernel()
489 		gdtDescriptor.base = (uint32 *)gKernelArgs.arch_args.vir_gdt;  in mmu_init_for_kernel()
494 		TRACE(("gdt at virtual address %p\n", (void *)gKernelArgs.arch_args.vir_gdt));  in mmu_init_for_kernel()
499 …gKernelArgs.physical_allocated_range[0].size = sNextPhysicalAddress - gKernelArgs.physical_allocat…  in mmu_init_for_kernel()
502 	gKernelArgs.virtual_allocated_range[0].start = KERNEL_LOAD_BASE;  in mmu_init_for_kernel()
503 	gKernelArgs.virtual_allocated_range[0].size = sNextVirtualAddress - KERNEL_LOAD_BASE;  in mmu_init_for_kernel()
504 	gKernelArgs.num_virtual_allocated_ranges = 1;  in mmu_init_for_kernel()
507 	sort_address_ranges(gKernelArgs.physical_memory_range,  in mmu_init_for_kernel()
508 		gKernelArgs.num_physical_memory_ranges);  in mmu_init_for_kernel()
509 	sort_address_ranges(gKernelArgs.physical_allocated_range,  in mmu_init_for_kernel()
510 		gKernelArgs.num_physical_allocated_ranges);  in mmu_init_for_kernel()
511 	sort_address_ranges(gKernelArgs.virtual_allocated_range,  in mmu_init_for_kernel()
512 		gKernelArgs.num_virtual_allocated_ranges);  in mmu_init_for_kernel()
519 		for (i = 0; i < gKernelArgs.num_physical_memory_ranges; i++) {  in mmu_init_for_kernel()
521 				gKernelArgs.physical_memory_range[i].start,  in mmu_init_for_kernel()
522 				gKernelArgs.physical_memory_range[i].size);  in mmu_init_for_kernel()
526 		for (i = 0; i < gKernelArgs.num_physical_allocated_ranges; i++) {  in mmu_init_for_kernel()
528 				gKernelArgs.physical_allocated_range[i].start,  in mmu_init_for_kernel()
529 				gKernelArgs.physical_allocated_range[i].size);  in mmu_init_for_kernel()
533 		for (i = 0; i < gKernelArgs.num_virtual_allocated_ranges; i++) {  in mmu_init_for_kernel()
535 				gKernelArgs.virtual_allocated_range[i].start,  in mmu_init_for_kernel()
536 				gKernelArgs.virtual_allocated_range[i].size);  in mmu_init_for_kernel()
547 	switch (gKernelArgs.arch_args.mmu_type) {  in mmu_init()
565 			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()
600 	gKernelArgs.arch_args.vir_pgroot = get_next_virtual_page();  in mmu_init()
601 	map_page(gKernelArgs.arch_args.vir_pgroot, (uint32)gPageRoot, kDefaultPageFlags);  in mmu_init()
604 	gKernelArgs.arch_args.vir_vbr = gKernelArgs.arch_args.vir_pgroot  in mmu_init()
608 	gKernelArgs.cpu_kstack[0].start = (addr_t)mmu_allocate(NULL,  in mmu_init()
610 	gKernelArgs.cpu_kstack[0].size = KERNEL_STACK_SIZE  in mmu_init()
613 	TRACE(("kernel stack at 0x%lx to 0x%lx\n", gKernelArgs.cpu_kstack[0].start,  in mmu_init()
614 		gKernelArgs.cpu_kstack[0].start + gKernelArgs.cpu_kstack[0].size));  in mmu_init()
617 	gKernelArgs.physical_memory_range[0].start = AMIGA_CHIPRAM_BASE;  in mmu_init()
618 	gKernelArgs.physical_memory_range[0].size = *TOSVARphystop - AMIGA_CHIPRAM_BASE;  in mmu_init()
619 	gKernelArgs.num_physical_memory_ranges = 1;  in mmu_init()
623 		gKernelArgs.physical_memory_range[1].start =  in mmu_init()
625 		gKernelArgs.physical_memory_range[1].size =  in mmu_init()
627 		gKernelArgs.num_physical_memory_ranges++;  in mmu_init()
634 	gKernelArgs.physical_allocated_range[gKernelArgs.num_physical_allocated_ranges].start = video_base;  in mmu_init()
635 …gKernelArgs.physical_allocated_range[gKernelArgs.num_physical_allocated_ranges].size = *TOSVARphys…  in mmu_init()
636 	gKernelArgs.num_physical_allocated_ranges++;  in mmu_init()