port_kern_free     15 arch/um/drivers/port.h extern void port_kern_free(void *d);
port_kern_free     58 arch/um/drivers/port_user.c 	port_kern_free(kern_data);
port_kern_free     66 arch/um/drivers/port_user.c 	port_kern_free(data->kernel_data);