page_nhash        101 uvm/uvm.h      	int page_nhash;			/* number of buckets */
page_nhash        252 uvm/uvm_page.c 	uvm.page_nhash = 1;			/* 1 bucket */
page_nhash        800 uvm/uvm_page.c 	oldcount = uvm.page_nhash;
page_nhash        824 uvm/uvm_page.c 	uvm.page_nhash = bucketcount;
page_nhash        878 uvm/uvm_page.c 	printf("number of buckets = %d\n", uvm.page_nhash);