zone_print_one 159 kernel/generic/include/mm/frame.h extern void zone_print_one(size_t); zone_print_one 1313 kernel/generic/src/console/cmd.c zone_print_one(argv[0].intval);