/* * uvm_pages_printthem - print a summary of all managed pages */