Symbol: TTBR_ASID_SHIFT
sys/arm64/include/armreg.h
2886
#define TTBR_ASID_MASK (0xfffful << TTBR_ASID_SHIFT)
sys/arm64/include/pmap.h
125
(uint64_t)(asid) << TTBR_ASID_SHIFT; \