HelenOS sources

PL_USER            70 kernel/arch/amd64/include/arch/pm.h #define PL_USER    3
PL_USER            64 kernel/arch/ia32/include/arch/pm.h #define PL_USER    3
PL_USER            80 kernel/arch/ia64/include/arch/mm/page.h #define PL_USER    PSR_CPL_USER
HelenOS homepage, sources at GitHub