psr_t 212 kernel/arch/ia64/include/arch/register.h } psr_t; psr_t 212 uspace/lib/c/arch/ia64/include/libarch/register.h } psr_t;