Adding some initializations
[barrelfish] / if / mt_waitset.if
1 interface mt_waitset "Multithreaded waitset test" {
2     rpc rpc_method(in uint64 i1, in uint8 s[ss, 2048], in uint32 i2, out uint64 o1, out uint8 r[rs, 2048], out uint32 o2);
3 };