print_pagelist   1355 kern/subr_pool.c 	int i, print_log = 0, print_pagelist = 0, print_cache = 0;
print_pagelist   1362 kern/subr_pool.c 			print_pagelist = 1;
print_pagelist   1382 kern/subr_pool.c 	if (print_pagelist == 0)