--- /dev/null
+/* $Id$ */\r
+\r
+/* _PDCLIB_allocpages( int const )\r
+\r
+ This file is part of the Public Domain C Library (PDCLib).\r
+ Permission is granted to use, modify, and / or redistribute at will.\r
+*/\r
+\r
+/* This is a stub implementation of _PDCLIB_allocpages\r
+*/\r
+\r
+#include <stdint.h>\r
+#include <stddef.h>\r
+#include <errno.h>\r
+#ifndef REGTEST\r
+#include <_PDCLIB_glue.h>\r
+\r
+void _PDCLIB_freepages( void * p, size_t n )\r
+{\r
+ return;\r
+}\r
+#endif\r
+\r
+#ifdef TEST\r
+#include <_PDCLIB_test.h>\r
+\r
+int main( void )\r
+{\r
+ return TEST_RESULTS;\r
+}\r
+\r
+#endif\r