From reading the code, I believe that the reasons that the missing TAILQ_INIT()s haven't caused a problem are two-fold: The first field is being initialized to zeroes elsewhere, and the first access to the last field is by TAILQ_INSERT_HEAD(), which sets it because the first field is NULL.