hi.
in the Thread_object::invoke, it call Thread::do_ipc like this:

      ct->do_ipc(f->tag(), partner, partner, have_rcv, sender,
                 f->timeout(), f, rights);

the second parameter's type is Thread*.

but the Thread::do_ipc's implemention is like this:

Thread::do_ipc(L4_msg_tag const &tag, bool have_send, Thread *partner,
               bool have_receive, Sender *sender,
               L4_timeout_pair t, Syscall_frame *regs,
               L4_fpage::Rights rights)
{...}


the second parameter's type is bool.

is there anything wrong with the code, or i have make some mistakes?