HelenOS sources

CTR_SEP_FLAG       61 boot/arch/arm32/src/main.c 		sep = (CTR_read() & CTR_SEP_FLAG) == CTR_SEP_FLAG;
CTR_SEP_FLAG      346 kernel/arch/arm32/src/cpu/cpu.c 		return (CTR_read() & CTR_SEP_FLAG) != CTR_SEP_FLAG;