bitmask_range
count += __bitcount64(bitmask_range(*addr, bit0, bound));
count += __bitcount64(bitmask_range(*addr, 0, bound));