PSR_CPL_MASK_SHIFTED 64 kernel/arch/ia64/include/arch/register.h #define PSR_CPL_MASK_SHIFTED 3 PSR_CPL_MASK_SHIFTED 64 uspace/lib/c/arch/ia64/include/libarch/register.h #define PSR_CPL_MASK_SHIFTED 3