PSR_CPL_USER 73 kernel/arch/ia64/include/arch/istate.h return istate->cr_ipsr.cpl == PSR_CPL_USER; PSR_CPL_USER 80 kernel/arch/ia64/include/arch/mm/page.h #define PL_USER PSR_CPL_USER PSR_CPL_USER 73 uspace/lib/c/arch/ia64/include/libarch/istate.h return istate->cr_ipsr.cpl == PSR_CPL_USER;HelenOS homepage, sources at GitHub