EFX_SHIFT64
__CPU_TO_LE_64(EFX_SHIFT64(_bit, FIX_LINT(0))); \
__CPU_TO_LE_64(EFX_SHIFT64(_bit, FIX_LINT(64))); \
__CPU_TO_LE_64(~EFX_SHIFT64(_bit, FIX_LINT(0))); \
__CPU_TO_LE_64(~EFX_SHIFT64(_bit, FIX_LINT(64))); \
__CPU_TO_LE_64(EFX_SHIFT64(_bit, FIX_LINT(0)))) || \
__CPU_TO_LE_64(EFX_SHIFT64(_bit, FIX_LINT(64)))))
__CPU_TO_LE_64(EFX_SHIFT64(_bit, FIX_LINT(0))); \
__CPU_TO_LE_64(~EFX_SHIFT64(_bit, FIX_LINT(0))); \
__CPU_TO_LE_64(EFX_SHIFT64(_bit, FIX_LINT(0)))) != 0)