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()
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()
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()
641 	gKernelArgs.arch_args.plat_args.atari.nat_feat.nf_page =  in mmu_init()