From e1ada57bfaaa0e4275500de9e0113ba04f9107eb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 19 Sep 2017 11:40:30 +0200
Subject: [PATCH] vfs: use unsigned 64bit for media size ioctl

Fixes #2523.
---
 repos/os/include/vfs/file_io_service.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/include/vfs/file_io_service.h b/repos/os/include/vfs/file_io_service.h
index 7bf947ec7..a10bb982b 100644
--- a/repos/os/include/vfs/file_io_service.h
+++ b/repos/os/include/vfs/file_io_service.h
@@ -132,7 +132,7 @@ struct Vfs::File_io_service
 			/* if request was 'IOCTL_OP_DIOCGMEDIASIZE' */
 			struct {
 				/* disk size rounded up to sector size in bytes*/
-				int size;
+				file_size size;
 
 			} diocgmediasize;
 		};