Add an up to date POSIX port (works on Mac OS X). This is fully functional except...

[pdclib] / platform / posix / functions / _PDCLIB / _PDCLIB_freepages.c

diff --git a/platform/posix/functions/_PDCLIB/_PDCLIB_freepages.c b/platform/posix/functions/_PDCLIB/_PDCLIB_freepages.c
new file mode 100644 (file)
index 0000000..ed4ea0c
--- /dev/null
+++ b/platform/posix/functions/_PDCLIB/_PDCLIB_freepages.c
@@ -0,0 +1,32 @@
+/* _PDCLIB_freepages( void *, size_t )
+
+   This file is part of the Public Domain C Library (PDCLib).
+   Permission is granted to use, modify, and / or redistribute at will.
+*/
+
+/* This is an example implementation of _PDCLIB_allocpages() (declared in
+   _PDCLIB_config.h), fit for use with POSIX kernels.
+*/
+
+#ifndef REGTEST
+#include <stdint.h>
+#include <stddef.h>
+#include <sys/mman.h>
+#include <_PDCLIB_glue.h>
+
+void _PDCLIB_freepages( void * p, size_t n )
+{
+    munmap( p, n * _PDCLIB_MALLOC_PAGESIZE );
+}
+
+#endif
+
+#ifdef TEST
+#include <_PDCLIB_test.h>
+
+int main( void )
+{
+    return TEST_RESULTS;
+}
+
+#endif
\ No newline at end of file