KDMSG_STATE_RBINSERTED
KKASSERT(state->flags & KDMSG_STATE_RBINSERTED);
state->flags &= ~KDMSG_STATE_RBINSERTED;
KKASSERT(state->flags & KDMSG_STATE_RBINSERTED);
state->flags &= ~KDMSG_STATE_RBINSERTED;
KKASSERT((state->flags & KDMSG_STATE_RBINSERTED) == 0);
state->flags |= KDMSG_STATE_RBINSERTED |
state->flags |= KDMSG_STATE_RBINSERTED |