HelenOS sources

USER_MODE          45 kernel/arch/arm32/include/arch/regutils.h 	USER_MODE = 0x10,
USER_MODE          45 uspace/lib/c/arch/arm32/include/libarch/regutils.h 	USER_MODE = 0x10,
HelenOS homepage, sources at GitHub