HelenOS sources

ISTATE_OFFSET_CR_IPSR   72 kernel/arch/ia64/include/arch/istate_struct.h #define ISTATE_OFFSET_CR_IPSR           0x230
ISTATE_OFFSET_CR_IPSR   72 uspace/lib/c/arch/ia64/include/libarch/istate_struct.h #define ISTATE_OFFSET_CR_IPSR           0x230