Symbol: OPT_NO_PAGER
usr/src/grub/grub-0.97/grub/main.c
205
case OPT_NO_PAGER:
usr/src/grub/grub-0.97/grub/main.c
82
{"no-pager", no_argument, 0, OPT_NO_PAGER},