__HYP_SPIN_LOCK_UNLOCKED
#define DEFINE_HYP_SPINLOCK(x) hyp_spinlock_t x = __HYP_SPIN_LOCK_UNLOCKED
*(l) = __HYP_SPIN_LOCK_UNLOCKED; \
.lock = __HYP_SPIN_LOCK_UNLOCKED,
.lock = __HYP_SPIN_LOCK_UNLOCKED,
version_lock = __HYP_SPIN_LOCK_UNLOCKED;