Searched refs:VKI_PADDED (Results 1 – 1 of 1) sorted by relevance
1352 # define VKI_PADDED(x,y) x, y macro1354 # define VKI_PADDED(x,y) y, x macro1362 __vki_u32 VKI_PADDED(aio_key, aio_reserved1);