From 1692eb0e6022190a5e0c9ac748171d91e0e6e945 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Tue, 6 Sep 2016 22:11:49 +0200
Subject: [PATCH] add GNU equivalent to getpagesize

---
 hermit/arch/x86/mm/page.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/hermit/arch/x86/mm/page.c b/hermit/arch/x86/mm/page.c
index c12db8919..5460f46f1 100644
--- a/hermit/arch/x86/mm/page.c
+++ b/hermit/arch/x86/mm/page.c
@@ -98,6 +98,14 @@ size_t virt_to_phys(size_t addr)
 	return phy | off;
 }
 
+/*
+ * get memory page size
+ */
+int getpagesize(void)
+{
+	return PAGE_SIZE;
+}
+
 //TODO: code is missing
 int page_set_flags(size_t viraddr, uint32_t npages, int flags)
 {