diff --git a/[refs] b/[refs] index 421e96d8f81d..49608c499b1c 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: d6ee09a2a0865f5640592e73ca5da4b06404b200 +refs/heads/master: 5e5224a77eb4c68a982c8096945b0af902f9d655 diff --git a/trunk/arch/x86/mm/pageattr_64.c b/trunk/arch/x86/mm/pageattr_64.c index 8493c469f877..107b03c7113c 100644 --- a/trunk/arch/x86/mm/pageattr_64.c +++ b/trunk/arch/x86/mm/pageattr_64.c @@ -19,8 +19,9 @@ void clflush_cache_range(void *addr, int size) #include #include +#include #include -#include +#include pte_t *lookup_address(unsigned long address, int *level) {