/* * uvm_page_lookup_freelist: look up the free list for the specified page */