HelenOS sources

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;