1 /* _PDCLIB_freepages( void *, size_t )
3 This file is part of the Public Domain C Library (PDCLib).
4 Permission is granted to use, modify, and / or redistribute at will.
7 /* This is an example implementation of _PDCLIB_allocpages() (declared in
8 _PDCLIB_config.h), fit for use with POSIX kernels.
15 #include <_PDCLIB_glue.h>
17 void _PDCLIB_freepages( void * p, size_t n )
19 munmap( p, n * _PDCLIB_MALLOC_PAGESIZE );
25 #include <_PDCLIB_test.h>