DEVFS_DEVICE_DESTROY
case DEVFS_DEVICE_DESTROY:
devfs_msg_send_dev(DEVFS_DEVICE_DESTROY, dev, 0, 0, 0);