util: mark page_size() as pure

diff --git a/src/shared/util.h b/src/shared/util.h
index fc59481b997090441a0ada7aff022f59e58c55c9..13a0b968d30617150b041765f3d8cf295365f1a9 100644 (file)
--- a/src/shared/util.h
+++ b/src/shared/util.h
@@ -112,7 +112,7 @@
 #define ANSI_HIGHLIGHT_OFF "\x1B[0m"
 #define ANSI_ERASE_TO_END_OF_LINE "\x1B[K"
 
-size_t page_size(void);
+size_t page_size(void) _pure_;
 #define PAGE_ALIGN(l) ALIGN_TO((l), page_size())
 
 #define streq(a,b) (strcmp((a),(b)) == 0)