update

[l4.git] / kernel / fiasco / src / kern / vlog.cpp

diff --git a/kernel/fiasco/src/kern/vlog.cpp b/kernel/fiasco/src/kern/vlog.cpp
index 13b75a66aa27beae21e8d5c19927e8efe4c74609..96c9dbd2aef33e1c5a8004b96af8f601c5e45c9d 100644 (file)
--- 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)
     {