DCR_DX_MASK 44 kernel/arch/ia64/include/arch/register.h #define DCR_DX_MASK (1 << 11) DCR_DX_MASK 44 uspace/lib/c/arch/ia64/include/libarch/register.h #define DCR_DX_MASK (1 << 11)