page_state_to_string
const char *page_state_to_string(int state);
page->State(), page_state_to_string(page->State()),
page, page->State(), page_state_to_string(page->State()));
page_state_to_string(fOldState),
page_state_to_string(fNewState));
kprintf("state: %s\n", page_state_to_string(page->State()));
page_state_to_string(page->State()),