Symbol: ATC_VMID0_PASID_MAPPING__PASID_MASK