Searched refs:TTBR_ASID_SHIFT (Results 1 – 5 of 5) sorted by relevance
| /optee_os/core/arch/arm/mm/ |
| H A D | core_mmu_lpae.c | 627 write_ttbr0_el1(ttbr | ((paddr_t)prtn->asid << TTBR_ASID_SHIFT)); in core_mmu_set_prtn() 1462 map->asid = (read_ttbr0_64bit() >> TTBR_ASID_SHIFT) & in core_mmu_get_user_map() 1479 ttbr &= ~((uint64_t)TTBR_ASID_MASK << TTBR_ASID_SHIFT); in core_mmu_set_user_map() 1492 ttbr |= ((uint64_t)map->asid << TTBR_ASID_SHIFT); in core_mmu_set_user_map() 1553 map->asid = (read_ttbr0_el1() >> TTBR_ASID_SHIFT) & in core_mmu_get_user_map() 1570 ttbr &= ~((uint64_t)TTBR_ASID_MASK << TTBR_ASID_SHIFT); in core_mmu_set_user_map() 1583 ttbr |= ((uint64_t)map->asid << TTBR_ASID_SHIFT); in core_mmu_set_user_map()
|
| /optee_os/core/arch/arm/kernel/ |
| H A D | thread_a64.S | 238 bic x0, x0, #BIT(TTBR_ASID_SHIFT) 275 bic x0, x0, #BIT(TTBR_ASID_SHIFT) 662 orr x0, x0, #BIT(TTBR_ASID_SHIFT) /* switch to user mode ASID */ 678 orr x0, x0, #BIT(TTBR_ASID_SHIFT) /* switch to user mode ASID */ 733 orr x2, x5, #BIT(TTBR_ASID_SHIFT) /* switch to user mode ASID */ 740 orr x2, x5, #BIT(TTBR_ASID_SHIFT) /* switch to user mode ASID */
|
| H A D | thread_a32.S | 388 tst r1, #BIT(TTBR_ASID_SHIFT - 32) 400 bic r1, r1, #BIT(TTBR_ASID_SHIFT - 32) 886 orr r1, r1, #BIT(TTBR_ASID_SHIFT - 32) 943 orr r3, r7, #BIT(TTBR_ASID_SHIFT - 32)
|
| /optee_os/core/arch/arm/include/ |
| H A D | arm32.h | 146 #define TTBR_ASID_SHIFT U(48) macro
|
| H A D | arm64.h | 45 #define TTBR_ASID_SHIFT U(48) macro
|