Symbol: command_devpath
sys/arch/i386/stand/efiboot/boot.c
105
{ "devpath", command_devpath },
sys/arch/i386/stand/efiboot/boot.c
79
void command_devpath(char *);