56 	return insert_address_range(gKernelArgs.arch_args.virtual_ranges_to_keep,  in insert_virtual_range_to_keep()
57 		&gKernelArgs.arch_args.num_virtual_ranges_to_keep,  in insert_virtual_range_to_keep()
65 	return remove_address_range(gKernelArgs.arch_args.virtual_ranges_to_keep,  in remove_virtual_range_to_keep()
66 		&gKernelArgs.arch_args.num_virtual_ranges_to_keep,  in remove_virtual_range_to_keep()
125 				gKernelArgs.num_physical_memory_ranges);  in find_physical_memory_ranges()
138 	return !get_free_address_range(gKernelArgs.virtual_allocated_range,  in is_virtual_allocated()
139 		gKernelArgs.num_virtual_allocated_ranges, (addr_t)address, size,  in is_virtual_allocated()
148 	return !get_free_address_range(gKernelArgs.physical_allocated_range,  in is_physical_allocated()
149 		gKernelArgs.num_physical_allocated_ranges, (addr_t)address, size,  in is_physical_allocated()
157 	return is_address_range_covered(gKernelArgs.physical_memory_range,  in is_physical_memory()
158 		gKernelArgs.num_physical_memory_ranges, (addr_t)address, size);  in is_physical_memory()
244 				gKernelArgs.num_physical_allocated_ranges);  in find_allocated_ranges()
254 				gKernelArgs.num_virtual_allocated_ranges);  in find_allocated_ranges()
266 					gKernelArgs.num_virtual_allocated_ranges);  in find_allocated_ranges()
291 	for (uint32 i = 0; i < gKernelArgs.num_physical_memory_ranges; i++) {  in find_physical_memory_range()
292 		if (gKernelArgs.physical_memory_range[i].size > size)  in find_physical_memory_range()
293 			return (void *)(addr_t)gKernelArgs.physical_memory_range[i].start;  in find_physical_memory_range()
303 	if (gKernelArgs.num_physical_allocated_ranges == 0) {  in find_free_physical_range()
304 		if (gKernelArgs.num_physical_memory_ranges == 0)  in find_free_physical_range()
311 	for (uint32 i = 0; i < gKernelArgs.num_physical_allocated_ranges; i++) {  in find_free_physical_range()
313 			= (void *)(addr_t)(gKernelArgs.physical_allocated_range[i].start  in find_free_physical_range()
314 				+ gKernelArgs.physical_allocated_range[i].size);  in find_free_physical_range()
325 	for (uint32 i = 0; i < gKernelArgs.num_physical_memory_ranges; i++) {  in find_free_physical_range()
326 		void *address = (void *)gKernelArgs.physical_memory_range[i].start;  in find_free_physical_range()
327 		if (gKernelArgs.physical_memory_range[i].size > size  in find_free_physical_range()
346 	for (uint32 i = 0; i < gKernelArgs.num_virtual_allocated_ranges; i++) {  in find_free_virtual_range()
348 			= (void *)(addr_t)(gKernelArgs.virtual_allocated_range[i].start  in find_free_virtual_range()
349 				+ gKernelArgs.virtual_allocated_range[i].size);  in find_free_virtual_range()
618 		gKernelArgs.num_virtual_allocated_ranges);  in arch_mmu_init()
620 		gKernelArgs.num_physical_allocated_ranges);  in arch_mmu_init()
622 		gKernelArgs.num_physical_memory_ranges);  in arch_mmu_init()
626 	gKernelArgs.arch_args.page_table.start = (addr_t)sPageTable;  in arch_mmu_init()
627 	gKernelArgs.arch_args.page_table.size = tableSize;  in arch_mmu_init()
629 	gKernelArgs.arch_args.exception_handlers.start = (addr_t)exceptionHandlers;  in arch_mmu_init()
630 	gKernelArgs.arch_args.exception_handlers.size = B_PAGE_SIZE;  in arch_mmu_init()