Symbol: pr_diskline
usr/src/cmd/format/io.h
114
void pr_diskline(struct disk_info *disk, int num);
usr/src/cmd/format/menu_command.c
240
pr_diskline(disk, i);