replace splassert(IPL_NONE) with assert_not_in_intr()