dcookie.c:7:22: error: asm/page.h: No such file or directory

[vsys.git] / factory / dcookie.c

diff --git a/factory/dcookie.c b/factory/dcookie.c
index f5d01cd..ca22353 100644 (file)
--- a/factory/dcookie.c
+++ b/factory/dcookie.c
@@ -4,7 +4,7 @@
 #define __NR_LOOKUP_DCOOKIE 253
 
 #include <sys/syscall.h>
-#include <asm/page.h>
+/*#include <asm/page.h>*/
 #include <stdint.h>
 #include <stdlib.h>
 #include <stdio.h>
@@ -20,7 +20,7 @@ int lookup_dcookie(uint64_t cookie, char * buf, size_t size)
 
 int main(int argc,char *argv[]) {
                /* fs/dcookie.c uses PAGE_SIZE */
-               char path_buf[PAGE_SIZE],dcookie_buf[sizeof(INT64_MAXSZ)];
+               char path_buf[16384],dcookie_buf[sizeof(INT64_MAXSZ)];
 
                /* In case nothing happens */
                path_buf[0]='\0';