util: mark page_size() as pure

2014-11-25 19:24:45 +01:00 · 2014-11-25 19:24:45 +01:00 · 2e8574290d
parent 3c575b6417
commit 2e8574290d
1 changed files with 1 additions and 1 deletions
--- 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)