2 uuid(60a15ec5-4de8-11d7-a637-005056a20182),
7 /* Add one to an integer */
11 /* Echo an array of bytes back at the caller */
14 [in] [size_is(len)] uint8 in_data[],
15 [out] [size_is(len)] uint8 out_data[]
17 /* Sink data to the server */
20 [in,ref,size_is(len)] uint8 *data
22 /* Source data from server */
25 [out,ref,size_is(len)] uint8 *data
36 /* test some alignment issues */
64 [case(1)] echo_info1 info1;
73 [case(1)] echo_info1 info1;
74 [case(2)] echo_info2 info2;
75 [case(3)] echo_info3 info3;
76 [case(4)] echo_info4 info4;
77 [case(5)] echo_info5 info5;
78 [case(6)] echo_info6 info6;
79 [case(7)] echo_info7 info7;
84 [out,switch_is(level)] echo_Info *info