Make error in sys_ipc_wrapper

[David Denny]

Hi Hackers

Wondering if anyone has a quick answer for this Make error
---------------------8><----------------------------------------------------------------------------
thread-ipc.o: In function `Thread::handle_page_fault_pager(unsigned int, unsigned int)':
/home/chavin/TUDresden/l4/kernel/fiasco/src/kern/thread-ipc.cpp:786: undefined reference to `Thread::do_send(Thread *, L4_timeout, Sys_ipc_frame *)'
thread-ipc.o: In function `sys_ipc_wrapper':
/home/chavin/TUDresden/l4/kernel/fiasco/src/kern/thread-ipc.cpp:968: undefined reference to `Thread::do_send(Thread *, L4_timeout, Sys_ipc_frame *)'
make[3]: *** [kernel.image] Error 1
---------------------8><----------------------------------------------------------------------------

Happy to provide more diagnostics if required.

TIA
David Denny