/* This is set when the page is write-protected. This should
* always reflect the actual write_protect status of a page.
* (If the page is written into, we catch the exception, make
/* This is set when the page is write-protected. This should
* always reflect the actual write_protect status of a page.
* (If the page is written into, we catch the exception, make