Searched refs:ttbr (Results 1 – 3 of 3) sorted by relevance
617 uint64_t ttbr; in core_mmu_set_prtn() local626 ttbr = virt_to_phys(get_base_table(prtn, 0, get_core_pos())); in core_mmu_set_prtn()628 write_ttbr0_el1(ttbr | ((paddr_t)prtn->asid << TTBR_ASID_SHIFT)); in core_mmu_set_prtn()1472 uint64_t ttbr = 0; in core_mmu_set_user_map() local1478 ttbr = read_ttbr0_64bit(); in core_mmu_set_user_map()1480 ttbr &= ~((uint64_t)TTBR_ASID_MASK << TTBR_ASID_SHIFT); in core_mmu_set_user_map()1481 write_ttbr0_64bit(ttbr); in core_mmu_set_user_map()1493 ttbr |= ((uint64_t)map->asid << TTBR_ASID_SHIFT); in core_mmu_set_user_map()1494 write_ttbr0_64bit(ttbr); in core_mmu_set_user_map()1563 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;