SMR_TAILQ_FIRST_LOCKED
(SMR_TAILQ_FIRST_LOCKED(head) == SMR_TAILQ_END(head))
for((var) = SMR_TAILQ_FIRST_LOCKED(head); \
for ((var) = SMR_TAILQ_FIRST_LOCKED(head); \