Searched refs:VKI_XENVER_platform_parameters (Results 1 – 2 of 2) sorted by relevance
36 #define VKI_XENVER_platform_parameters 5 macro
530 case VKI_XENVER_platform_parameters: in PRE()1631 case VKI_XENVER_platform_parameters: in POST()