Defined at line 614 of file ../../zircon/kernel/dev/iommu/arm_smmu/include/dev/arm_smmu/smmu_registers.h