HelenOS sources

DPL_USER           82 kernel/arch/amd64/include/arch/pm.h #define DPL_USER    (PL_USER << 5)
DPL_USER           76 kernel/arch/ia32/include/arch/pm.h #define DPL_USER    (PL_USER << 5)
HelenOS homepage, sources at GitHub