Damn, sorry for extra noise, I forgot to ask this twice... And what about cpu_down()? Perhaps tag_pool should do move_tags() on CPU_DEAD?
Or at least it should be documented that the dead cpu can lose up to 2 * watermark entries. Oleg. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/