Symbol: RFC1533_EXTENSIONPATH
usr/src/grub/grub-0.97/netboot/nic.c
1081
else if (c == RFC1533_EXTENSIONPATH)
usr/src/grub/grub-0.97/netboot/nic.c
66
RFC1533_HOSTNAME, RFC1533_EXTENSIONPATH, RFC1533_END
usr/src/grub/grub-0.97/netboot/nic.c
87
RFC1533_HOSTNAME, RFC1533_EXTENSIONPATH,