Searched refs:VKI_XEN_MMUEXT_TLB_FLUSH_LOCAL (Results 1 – 2 of 2) sorted by relevance
37 #define VKI_XEN_MMUEXT_TLB_FLUSH_LOCAL 6 macro
291 case VKI_XEN_MMUEXT_TLB_FLUSH_LOCAL: in PRE()329 case VKI_XEN_MMUEXT_TLB_FLUSH_LOCAL: in PRE()