#include <l4/sys/kdebug.h>
#include <l4/sys/factory.h>
#include <l4/sys/capability>
-#include <l4/sys/typeinfo_svr>
+#include <l4/sys/cxx/ipc_epiface>
#include <l4/sys/factory>
#include <l4/sigma0/sigma0.h>
handle_sigma0_request(t, utcb, &answer);
break;
case L4::Meta::Protocol:
- {
- L4::Ipc::Iostream ios(utcb);
- ios.Istream::tag() = tag;
- answer.tag = l4_msgtag(L4::Util::handle_meta_request<Sigma0>(ios), 0, 0, 0);
- }
+ answer.tag = L4::Ipc::Msg::dispatch_call<L4::Meta::Rpcs>((L4::Ipc::Detail::Meta_svr<Sigma0> *)0, utcb, tag, t);
break;
case L4::Factory::Protocol:
handle_service_request(t, utcb, &answer);