HelenOS sources

TLBTR_SEP_FLAG    122 boot/arch/arm32/include/arch/cp15.h 	TLBTR_SEP_FLAG = 1,
TLBTR_SEP_FLAG    122 kernel/arch/arm32/include/arch/cp15.h 	TLBTR_SEP_FLAG = 1,
TLBTR_SEP_FLAG    122 uspace/lib/c/arch/arm32/include/libarch/cp15.h 	TLBTR_SEP_FLAG = 1,

HelenOS homepage, sources at GitHub