cr_isr_t 282 kernel/arch/ia64/include/arch/register.h } cr_isr_t; cr_isr_t 282 uspace/lib/c/arch/ia64/include/libarch/register.h } cr_isr_t;