CR_IPSR 141 kernel/arch/ia64/include/arch/register.h #define CR_IPSR 16 CR_IPSR 141 uspace/lib/c/arch/ia64/include/libarch/register.h #define CR_IPSR 16