question regarding down_interruptible