SOFTINT_PENDING
if ((sh->sh_flags & SOFTINT_PENDING) != 0) {
if ((sh->sh_flags & SOFTINT_PENDING) == 0) {
sh->sh_flags |= SOFTINT_PENDING;
KASSERT((sh->sh_flags & SOFTINT_PENDING) != 0);
sh->sh_flags ^= SOFTINT_PENDING;