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