Symbol: MULTI_update_va_mapping