Searched refs:VKI_XENMEM_machine_memory_map (Results 1 – 2 of 2) sorted by relevance
40 #define VKI_XENMEM_machine_memory_map 10 macro
149 case VKI_XENMEM_machine_memory_map: { in PRE()1363 case VKI_XENMEM_machine_memory_map: { in POST()