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()
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()
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()