Searched refs:VKI_PADDED (Results 1 – 1 of 1) sorted by relevance
1458 # define VKI_PADDED(x,y) x, y macro1460 # define VKI_PADDED(x,y) y, x macro1468 __vki_u32 VKI_PADDED(aio_key, aio_reserved1);