Searched refs:kern_resfree (Results 1 – 2 of 2) sorted by relevance
73 extern void kern_resfree(caddr_t, size_t);
72 kern_resfree(caddr_t virtaddr, size_t size) in kern_resfree() function