EFX_SHIFT64
__CPU_TO_LE_64(EFX_SHIFT64(_bit, FIX_LINT(64))); \
__CPU_TO_LE_64(~EFX_SHIFT64(_bit, FIX_LINT(64))); \
__CPU_TO_LE_64(EFX_SHIFT64(_bit, FIX_LINT(64)))))