Symbol: REG_GENMASK64