Searched refs:VKI_XENMEM_set_memory_map (Results 1 – 2 of 2) sorted by relevance
43 #define VKI_XENMEM_set_memory_map 13 macro
138 case VKI_XENMEM_set_memory_map: { in PRE()1472 case VKI_XENMEM_set_memory_map: in POST()