Searched refs:VKI_XENMEM_maximum_gpfn (Results 1 – 2 of 2) sorted by relevance
44 #define VKI_XENMEM_maximum_gpfn 14 macro
122 case VKI_XENMEM_maximum_gpfn: in PRE()1337 case VKI_XENMEM_maximum_gpfn: in POST()