port_remove_dev    17 arch/um/drivers/port.h extern void port_remove_dev(void *d);
port_remove_dev   287 arch/um/drivers/port_kern.c 	port_remove_dev(dev);
port_remove_dev    94 arch/um/drivers/port_user.c 	port_remove_dev(data->kernel_data);