HelenOS sources

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

HelenOS homepage, sources at GitHub