# HG changeset patch
# User Michael Spacefalcon <msokolov@ivan.Harhan.ORG>
# Date 1404239561 0
# Node ID da8248e23acad8376610de01ac9487c95e4ad9f6
# Parent  5293cac7f4239012b16d397b16aada9bf72560a1
osx.c: int_osx_free_mem() done

diff -r 5293cac7f423 -r da8248e23aca gsm-fw/gpf/osx/osx.c
--- a/gsm-fw/gpf/osx/osx.c	Tue Jul 01 18:24:00 2014 +0000
+++ b/gsm-fw/gpf/osx/osx.c	Tue Jul 01 18:32:41 2014 +0000
@@ -120,3 +120,13 @@
 {
 	vsi_c_free(_caller, (T_VOID_STRUCT **) &prim_ptr FILE_LINE_MACRO);
 }
+
+void
+int_osx_free_mem(int caller, void *mem_ptr)
+{
+	int status;
+
+	TRACE_ASSERT(mem_ptr != 0);
+	status = D_FREE(mem_ptr);
+	TRACE_ASSERT(status == VSI_OK);
+}