kd_driver          57 bsp/drv/dev/base/kd.c static int kd_driver(int, char **);
kd_driver          80 bsp/drv/dev/base/kd.c 	{ "driver"	,kd_driver	,"Display list of drivers" },