Searched refs:VKI_MAP_32BIT (Results 1 – 2 of 2) sorted by relevance
239 #define VKI_MAP_32BIT 0x40 /* only give out 32bit addresses */ macro
2153 # if defined(VKI_MAP_32BIT) in ML_()2157 if (arg4 & VKI_MAP_32BIT) { in ML_()