Searched defs:VKI_F_LINUX_SPECIFIC_BASE (Results 1 – 6 of 6) sorted by relevance
273 #define VKI_F_LINUX_SPECIFIC_BASE 1024 macro
392 #define VKI_F_LINUX_SPECIFIC_BASE 1024 macro
343 #define VKI_F_LINUX_SPECIFIC_BASE 1024 macro
337 #define VKI_F_LINUX_SPECIFIC_BASE 1024 macro
276 #define VKI_F_LINUX_SPECIFIC_BASE 1024 macro
314 #define VKI_F_LINUX_SPECIFIC_BASE 1024 macro