POPCOUNT_BITS
pc_bins = 1 + (res * NBBY + POPCOUNT_BITS / 2) / POPCOUNT_BITS;
uint64_t popcount_id = pte_bit_id / POPCOUNT_BITS;
if ((pte_bit_id % POPCOUNT_BITS) < (POPCOUNT_BITS / 2)) {
0, pte_bit_id - popcount_id * POPCOUNT_BITS);
bitN = MIN(popcount_id * POPCOUNT_BITS,
#define POPCOUNTS_IN(v) (POPCOUNT_BITS / BITS_IN(v))