EFX_MASK64 - Linux

148

EFX_MASK64((high) + 1 - (low)))

152

EFX_MASK64((high) + 1 - (low)))

523

EFX_INSERT64(min, max, low, high, EFX_MASK64((high) + 1 - (low)))

146

EFX_MASK64((high) + 1 - (low)))

150

EFX_MASK64((high) + 1 - (low)))

521

EFX_INSERT64(min, max, low, high, EFX_MASK64((high) + 1 - (low)))