Searched refs:TTBR_ASID_SHIFT (Results 1 – 2 of 2) sorted by relevance
180 #define TTBR_ASID_SHIFT 48 macro
1194 return ttbr0 >> TTBR_ASID_SHIFT; in get_asid()1231 domain_ptables->ttbr0 = (((uint64_t)asid) << TTBR_ASID_SHIFT) | in arch_mem_domain_init()
