Searched refs:VKI_SG_GET_VERSION_NUM (Results 1 – 2 of 2) sorted by relevance
1835 #define VKI_SG_GET_VERSION_NUM 0x2282 /* Example: version 2.1.34 yields 20134 */ macro
5723 case VKI_SG_GET_VERSION_NUM: in PRE()8611 case VKI_SG_GET_VERSION_NUM: in POST()