Symbol: tlb_end_vma