Lines Matching refs:cpu_ttb
59 * cpu_ttb contains the current TTB (translation-table
62 uint32_t cpu_ttb;
332 cpu_ttb = gTopOfKernel + L1_SIZE;
333 bzero((void*)phys_to_virt(cpu_ttb), L1_SIZE);
336 identityCachePA = cpu_ttb + L1_SIZE; /* After the first initial TTB. */
356 l2_cache_to_range(identityCachePA, identityBaseVA, phys_to_virt(cpu_ttb),
359 l2_cache_to_range(managedCachePA, managedBaseVA, phys_to_virt(cpu_ttb),
381 vectp = (uint32_t *) addr_to_tte(phys_to_virt(cpu_ttb), VECTORS_BASE);
408 set_mmu_ttb(cpu_ttb);
409 set_mmu_ttb_alt(cpu_ttb);
416 kernel_pmap->pm_l1_phys = cpu_ttb;
417 kernel_pmap->pm_l1_virt = phys_to_virt(cpu_ttb);