fltpgrele         326 uvm/uvm_extern.h 	int fltpgrele;	/* number of times fault found a released page */
fltpgrele         456 uvm/uvm_fault.c 				uvmexp.fltpgrele++;
fltpgrele        1409 uvm/uvm_fault.c 				uvmexp.fltpgrele++;
fltpgrele         234 uvm/uvm_stat.c 	    uvmexp.fltpgrele);