Searched refs:GKI_os_free (Results 1 – 4 of 4) sorted by relevance
9 void GKI_os_free(void* p) { in GKI_os_free() function
443 extern void GKI_os_free(void*);
507 GKI_os_free(p_hdr); in GKI_freebuf()1276 GKI_os_free(p_cb->pool_start[pool_id]); in GKI_delete_pool()
991 void GKI_os_free(void* p_mem) { in GKI_os_free() function