RSC_PL_MASK 72 kernel/arch/ia64/include/arch/register.h #define RSC_PL_MASK 12 RSC_PL_MASK 72 uspace/lib/c/arch/ia64/include/libarch/register.h #define RSC_PL_MASK 12