X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/kernel/fiasco/src/kern/vlog.cpp

diff --git a/kernel/fiasco/src/kern/vlog.cpp b/kernel/fiasco/src/kern/vlog.cpp
index 13b75a66a..96c9dbd2a 100644
--- a/kernel/fiasco/src/kern/vlog.cpp
+++ b/kernel/fiasco/src/kern/vlog.cpp
@@ -110,7 +110,8 @@ Vlog::get_input(Mword rights, Syscall_frame *f, Utcb *u)
     return commit_result(-L4_err::EPerm);
 
   char *buffer = reinterpret_cast<char *>(&u->values[1]);
-  long cnt_down = u->values[0] >> 16;
+  long cnt_down = min<Mword>(u->values[0] >> 16,
+                             sizeof(u->values) - sizeof(u->values[0]));
   int i = 0;
   while (cnt_down && (i = Vkey::get()) != -1)
     {