Searched refs:VKI_I386_GET_GSBASE (Results 1 – 8 of 8) sorted by relevance
1133 case VKI_I386_GET_GSBASE: in PRE()
1890 #define VKI_I386_GET_GSBASE 9 macro
2012 #define VKI_I386_GET_GSBASE 9 macro