]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/scheduler.cpp
update
[l4.git] / kernel / fiasco / src / kern / scheduler.cpp
index dd81be8a661b333b9e313faa0cce9d8568bf915e..04dcc97069b50f9a71c8d95a9092732021584cf0 100644 (file)
@@ -196,7 +196,7 @@ L4_msg_tag
 Scheduler::kinvoke(L4_obj_ref, Mword rights, Syscall_frame *f,
                    Utcb const *iutcb, Utcb *outcb)
 {
-  if (EXPECT_FALSE(f->tag().proto() != L4_msg_tag::Label_cpu))
+  if (EXPECT_FALSE(f->tag().proto() != L4_msg_tag::Label_scheduler))
     return commit_result(-L4_err::EBadproto);
 
   switch (iutcb->values[0])