From 28c6763a7d87539a0bf02824026e1aad4a7a2c3d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 9 Dec 2013 15:11:01 +0100
Subject: [PATCH] lx_fs: Support large files on 32-bit machines

---
 os/src/server/lx_fs/file.h    | 2 +-
 os/src/server/lx_fs/lx_util.h | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/os/src/server/lx_fs/file.h b/os/src/server/lx_fs/file.h
index f886041bf..85d5e4a05 100644
--- a/os/src/server/lx_fs/file.h
+++ b/os/src/server/lx_fs/file.h
@@ -106,7 +106,7 @@ class File_system::File : public Node
 		{
 			/* should we append? */
 			if (seek_offset == ~0ULL) {
-				off_t off = lseek(_fd, 0, SEEK_END);
+				::off_t off = lseek(_fd, 0, SEEK_END);
 				if (off == -1)
 					return 0;
 				seek_offset = off;
diff --git a/os/src/server/lx_fs/lx_util.h b/os/src/server/lx_fs/lx_util.h
index cc988b78a..a9ce4018f 100644
--- a/os/src/server/lx_fs/lx_util.h
+++ b/os/src/server/lx_fs/lx_util.h
@@ -11,6 +11,7 @@
 #include <file_system_session/file_system_session.h>
 
 /* Linux includes */
+#define _FILE_OFFSET_BITS 64
 #include <errno.h>
 #include <unistd.h>
 #include <fcntl.h>