Symbol: command_dtb
sys/stand/efiboot/boot.c
104
void command_dtb(char *);
sys/stand/efiboot/boot.c
128
{ "dtb", command_dtb, "dtb [dev:][filename]" },