highmask 804 src/dps8/dps8_utils.h uint64_t highmask = 0; highmask 808 src/dps8/dps8_utils.h highmask = ~ ((~(uint64_t)0) << n); highmask 809 src/dps8/dps8_utils.h highmask &= 0377U; highmask 815 src/dps8/dps8_utils.h word72 mask = construct_128 (highmask, lowmask);