devfs_destroy_device_node
int devfs_destroy_device_node(struct devfs_node *, cdev_t);
devfs_destroy_device_node(mnt->root_node, dev);