This file is a Linux-specific part of spinlock_internal.cc.futexes are ints, so we can use them only when that s the same size as the lockword_ in Spi.

-This file is a Linux-specific part of spinlock_internal.cc.futexes are ints, so we can use them only when　that s the same size as the lockword_ in Spi.