SPLICE_CLOSING
sp->state = SPLICE_CLOSING;
while (sp->state == SPLICE_CLOSING)
KASSERT(sp->state == SPLICE_QUEUED || sp->state == SPLICE_CLOSING,
if (sp->state == SPLICE_CLOSING) {
case SPLICE_CLOSING: