Symbol: port_kern_free
arch/um/drivers/port.h
15
extern void port_kern_free(void *d);
arch/um/drivers/port_user.c
59
port_kern_free(kern_data);
arch/um/drivers/port_user.c
67
port_kern_free(data->kernel_data);