Lines Matching refs:VKI_IPC_64
1121 #define VKI_IPC_64 0x0100 /* New version (support 32-bit UIDs, bigger
