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);