{
GUID id; /* Extension identifier. */
uint32 size; /* Extension size. */
- [size_is((size+7)&~7)] uint8 data[]; /* Extension data. */
+ [size_is(((size+7)&~7))] uint8 data[]; /* Extension data. */
} ORPC_EXTENT;
{
uint32 size; /* Num extents. */
uint32 reserved; /* Must be zero. */
- [size_is((size+1)&~1,), unique] ORPC_EXTENT **extent; /* extents */
+ [size_is(((size+1)&~1))] ORPC_EXTENT **extent; /* extents */
} ORPC_EXTENT_ARRAY;