I dont know if Jesus's sacrifice could apply to the devil. There is no information to know that.
As for the second part of the question, would the book of Revelations have to be changed?
No, because the events in the book of Revelations have already happened. God lives out of time and has already seen the end, we know Satan will not be forgiven because the book of Revelation is an account of what WILL happen during the end time. The events in the book WILL happen just like they are writen.
As for the second part of the question, would the book of Revelations have to be changed?
No, because the events in the book of Revelations have already happened. God lives out of time and has already seen the end, we know Satan will not be forgiven because the book of Revelation is an account of what WILL happen during the end time. The events in the book WILL happen just like they are writen.