Symbol: linear_mapping_va_to_pa