kd_device          56 bsp/drv/dev/base/kd.c static int kd_device(int, char **);
kd_device          79 bsp/drv/dev/base/kd.c 	{ "device"	,kd_device	,"Display list of devices" },