#include <l4/re/error_helper>
#include <l4/cxx/ipc_server>
-#include <l4/cxx/iostream>
-#include <l4/cxx/l4iostream>
#include "server.h"
public L4::Ipc_svr::Compound_reply
{
public:
- static void setup_wait(L4::Ipc_istream &istr, bool)
+ static void setup_wait(L4::Ipc::Istream &istr, bool)
{
istr.reset();
- istr << L4::Small_buf(rcv_cap.cap(), L4_RCV_ITEM_LOCAL_ID);
+ istr << L4::Ipc::Small_buf(rcv_cap.cap(), L4_RCV_ITEM_LOCAL_ID);
l4_utcb_br()->bdr = 0;
}