Searched refs:ttbr0 (Results 1 – 2 of 2) sorted by relevance
133 uint32_t ttbr0; member
574 map->ttbr0 = core_mmu_get_ul1_ttb_pa(get_prtn()) | in core_mmu_create_user_map()726 map->ttbr0 = read_ttbr0(); in core_mmu_get_user_map()743 write_ttbr0(map->ttbr0); in core_mmu_set_user_map()