> page_0 is fine. What about an even more explicit "clear_page_0" label?

We are not clearing anything. We are changing to page 0. So

restore_page_0?

        Andrew

Reply via email to