Index: kernel/arch/amd64/include/mm/page.h
===================================================================
--- kernel/arch/amd64/include/mm/page.h	(revision 6ab8697dc506650b8712d1dc5e817cc473bf170a)
+++ kernel/arch/amd64/include/mm/page.h	(revision c70ce740c4a67c6bc2a75eecfc30ef47cb81ccfb)
@@ -177,5 +177,5 @@
 #define PFERR_CODE_ID		(1 << 4)
 
-static inline int get_pt_flags(pte_t *pt, size_t i)
+static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
 {
 	pte_t *p = &pt[i];