Searched refs:TTBR_BADDR_MASK (Results 1 – 5 of 5) sorted by relevance
666 and x0, x25, #(TTBR_BADDR_MASK)671 and x0, x0, #(TTBR_BADDR_MASK)
2180 set_mmu_ttb_alternate(cpu_ttep & TTBR_BADDR_MASK); in arm_vm_init()2184 set_mmu_ttb(invalid_ttep & TTBR_BADDR_MASK); in arm_vm_init()
1095 #define TTBR_BADDR_MASK 0x0000ffffffffffff macro
778 ((get_mmu_ttb() & TTBR_BADDR_MASK) != (current->ttep))) { in current_pmap()4577 return get_mmu_ttb() == (invalid_ttep & TTBR_BADDR_MASK);7875 set_mmu_ttb((pmap->ttep & TTBR_BADDR_MASK) | (((uint64_t)pmap->hw_asid) << TTBR_ASID_SHIFT));7884 set_mmu_ttb(invalid_ttep & TTBR_BADDR_MASK);
7177 set_mmu_ttb(invalid_ttep & TTBR_BADDR_MASK);