Symbol: linear_mapping_pa_to_va