Searched refs:kern_os_free_external (Results 1 – 1 of 1) sorted by relevance
3370 kern_os_free_external(void *addr);3372 kern_os_free_external(void *addr) in kern_os_free_external() function