BIT_VEC64_ELEM_MASK
(idx) & BIT_VEC64_ELEM_MASK)
(idx) & BIT_VEC64_ELEM_MASK)
((idx) & BIT_VEC64_ELEM_MASK)) & 0x1)
(((u64)0x1 << (((idx) & BIT_VEC64_ELEM_MASK) + 1)) - 1)
DbgBreakIf(0 != (lm_bd_chain_bds_per_page(bd_chain) & BIT_VEC64_ELEM_MASK));
DbgBreakIf(0 != (lm_bd_chain_cons_idx(bd_chain) & BIT_VEC64_ELEM_MASK));