Symbol: vma_invalidate_tlb