Home | History | Annotate | Download | only in iq80321

Lines Matching refs:kernel_l1pt

483 	kernel_l1pt.pv_pa = 0;
484 	kernel_l1pt.pv_va = 0;
488 		    && kernel_l1pt.pv_pa == 0) {
489 			valloc_pages(kernel_l1pt, L1_TABLE_SIZE / PAGE_SIZE);
498 	if (!kernel_l1pt.pv_pa || (kernel_l1pt.pv_pa & (L1_TABLE_SIZE-1)) != 0)
541 	printf("Creating L1 page table at 0x%08lx\n", kernel_l1pt.pv_pa);
549 	l1pagetable = kernel_l1pt.pv_pa;
605 	pmap_map_chunk(l1pagetable, kernel_l1pt.pv_va, kernel_l1pt.pv_pa,
657 	printf("switching to new L1 page table  @%#lx...", kernel_l1pt.pv_pa);
660 	cpu_setttb(kernel_l1pt.pv_pa, true);