Searched refs:VMI_FLUSH_TLB (Results 1 – 2 of 2) sorted by relevance
139 #define VMI_FLUSH_TLB 0x01 macro
256 vmi_ops._flush_tlb(VMI_FLUSH_TLB); in vmi_flush_tlb_user()261 vmi_ops._flush_tlb(VMI_FLUSH_TLB | VMI_FLUSH_GLOBAL); in vmi_flush_tlb_kernel()