PSR_DFH_MASK 56 kernel/arch/ia64/include/arch/register.h #define PSR_DFH_MASK (1 << 19) PSR_DFH_MASK 56 uspace/lib/c/arch/ia64/include/libarch/register.h #define PSR_DFH_MASK (1 << 19)