Searched refs:VKI_XEN_MMUEXT_INVLPG_MULTI (Results 1 – 2 of 2) sorted by relevance
13 #define VKI_XEN_MMUEXT_INVLPG_MULTI 9 macro
257 case VKI_XEN_MMUEXT_INVLPG_MULTI: in PRE()274 case VKI_XEN_MMUEXT_INVLPG_MULTI: in PRE()