HelenOS sources

TTBR0_ASID_SHIFT  184 boot/arch/arm64/include/arch/regutils.h #define TTBR0_ASID_SHIFT  48
TTBR0_ASID_SHIFT  184 kernel/arch/arm64/include/arch/regutils.h #define TTBR0_ASID_SHIFT  48
TTBR0_ASID_SHIFT  184 uspace/lib/c/arch/arm64/include/libarch/regutils.h #define TTBR0_ASID_SHIFT  48

HelenOS homepage, sources at GitHub