Searched refs:ttbr (Results 1 – 3 of 3) sorted by relevance
616 uint64_t ttbr; in core_mmu_set_prtn() local625 ttbr = virt_to_phys(get_base_table(prtn, 0, get_core_pos())); in core_mmu_set_prtn()627 write_ttbr0_el1(ttbr | ((paddr_t)prtn->asid << TTBR_ASID_SHIFT)); in core_mmu_set_prtn()1471 uint64_t ttbr = 0; in core_mmu_set_user_map() local1477 ttbr = read_ttbr0_64bit(); in core_mmu_set_user_map()1479 ttbr &= ~((uint64_t)TTBR_ASID_MASK << TTBR_ASID_SHIFT); in core_mmu_set_user_map()1480 write_ttbr0_64bit(ttbr); in core_mmu_set_user_map()1492 ttbr |= ((uint64_t)map->asid << TTBR_ASID_SHIFT); in core_mmu_set_user_map()1493 write_ttbr0_64bit(ttbr); in core_mmu_set_user_map()1562 uint64_t ttbr = 0; in core_mmu_set_user_map() local[all …]
806 cfg->ttbr = core_mmu_get_main_ttb_pa(&default_partition) | in core_init_mmu_regs()
105 uint32_t ttbr;