Searched refs:port_kern_free (Results 1 – 3 of 3) sorted by relevance
15 extern void port_kern_free(void *d);
59 port_kern_free(kern_data); in port_init()67 port_kern_free(data->kernel_data); in port_free()
283 void port_kern_free(void *d) in port_kern_free() function
