Searched refs:GKI_os_free (Results 1 – 3 of 3) sorted by relevance
436 extern void GKI_os_free(void*);
508 GKI_os_free(p_hdr); in GKI_freebuf()1278 GKI_os_free(p_cb->pool_start[pool_id]); in GKI_delete_pool()
1001 void GKI_os_free(void* p_mem) { in GKI_os_free() function