cr_tpr_t 241 kernel/arch/ia64/include/arch/register.h } cr_tpr_t; cr_tpr_t 241 uspace/lib/c/arch/ia64/include/libarch/register.h } cr_tpr_t;