[UNIKRAFT PATCH] include: uk/page.h: Provide __PAGE_SIZE

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Provides __PAGE_SIZE with the uk/page.h header.

Signed-off-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>
---
 include/uk/page.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/uk/page.h b/include/uk/page.h
index 48ae9602..4e95f1b6 100644
--- a/include/uk/page.h
+++ b/include/uk/page.h
@@ -35,6 +35,7 @@
 #ifndef __UK_PAGE_H__
 #define __UK_PAGE_H__
 
+#include <uk/asm/limits.h>
 #include <uk/essentials.h>
 
 #ifdef __cplusplus
-- 
2.20.1