Symbol: vma_end_read