device_destroy    108 bsp/drv/include/dki.h int	 device_destroy(device_t);
device_destroy     59 sys/kern/device.c static int	device_destroy(device_t);
device_destroy    100 sys/kern/device.c 	/* 26 */ DKIENT(device_destroy),