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