VMI_FLUSH_TLB     256 arch/x86/kernel/vmi_32.c 	vmi_ops._flush_tlb(VMI_FLUSH_TLB);
VMI_FLUSH_TLB     261 arch/x86/kernel/vmi_32.c 	vmi_ops._flush_tlb(VMI_FLUSH_TLB | VMI_FLUSH_GLOBAL);